请输入您要查询的英文单词：

　

单词 satisfiability problem
释义
satisfiability problem
  • 简明释义
  • 可满足性问题
  • 网络释义
  • 1

    [数]?可满足性问题

    -? 可满足性问题的充分必要条件-1引,可满足性问题(satisfiability problem,简称SA T),是指合取范式的可满足性问题,简单可以叙述为:对于一个合适公式,通常我们假定己..

  • 2

    ?性问题

    可满足性问题（satisfiability problem）是一个NP完全问题。布尔变量是取值

  • 3

    ?SAT问题

    SAT问题

  • 4

    ?布尔可满足性问题

    ... Satisfiability Checking 可满足性判定 Satisfiability problem 布尔可满足性问题 ; Boolean satisfiability 布尔可满足性问题 ; 布尔可满足性 ...

短语
  • 双语例句
  • 1
    The satisfiability problem of conjunction normal form (abbreviate sat problem) is an NP_complete problem.
    合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
  • 2
    Our approach is based on an extended relational calculus, and reduces the consistency problem to a satisfiability problem of relational formulae.
    该方法以扩展的关系逻辑为语义基础，把一致性问题归结为关系逻辑公式的可满足性问题。
  • 3
    When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
    当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为SAT 问题。
随便看

　

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/2/15 2:43:50