满足性
网络释义专业释义
布尔可满足性问题 Boolean satisfiability problem ; satisfiability ; Satisfiability problem ; Boolean Satisfiability
可满足性问题 [数] satisfiability problem ; SAT ; SAT The Satisfiability Problem
满足性验证 Proof Of Compliance
不满足性 non-satiation
随机可满足性 Stochastic satisfiability
信息可满足性 information satisfiability
概念可满足性 concept Satisfiability
不可满足性 unsatisfiability
E不可满足性 E-unsatisfiability
-
satisfiability - 引用次数：62
The traditional idea used in TP is to try to deduce the empty clause to check satisfiability.
定理证明中通常的想法是通过推出空子句的方法来判定子句集的可满足性。
参考来源 - 一种新的基于扩展规则的知识编译方法
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
效用的不满足性不再维持。
-
全球需求的不可预测性，以及为了满足需求而增加更多奶牛所需的滞后时间，可能会导致像近期奶酪过剩等事件的发生。
The unpredictability of global demand and the lag time it takes to add more cows to a herd to meet demand can result in events like the recent cheese surplus.
-
全球需求的不可预测性，以及为了满足需求而扩大牛群规模所花费的滞后时间，可能会导致最近的奶酪过剩等问题。
The unpredictability of global demand and the lag-time it takes to add more cows to a herd to meet demand can result in events like the recent cheese surplus.
-
And when you can write that down, for me, there is just tremendous sense of creativity and of purpose and meaning.
当你能把它写出来的时候，对我个人来说，会感到这种来自巨大的创造性,目的性，意义性的满足感。
-
Often what you'll see is not a table based on this definition, but something that's called the Pauling definition of electronegativity, but it's exactly the same idea and the same trend as this more numerical way to think about what the meaning of electronegativity is.
通常你看到的表格一般都不是基于这种定义的，而是基于,鲍林定义的电负性，但在意义上是相同的，并且满足同样的周期性规律,当和这种这种更数值化地理解电负性的定义,作对比时。
应用推荐