布尔可满足性问题 Boolean satisfiability problem ; satisfiability ; Satisfiability problem ; Boolean Satisfiability
可满足性问题 [数] satisfiability problem ; SAT ; SAT The Satisfiability Problem
随机可满足性 Stochastic satisfiability
信息可满足性 information satisfiability
概念可满足性 concept Satisfiability
不可满足性 unsatisfiability
E不可满足性 E-unsatisfiability
可满足性判定 Satisfiability Checking
The traditional idea used in TP is to try to deduce the empty clause to check satisfiability.
定理证明中通常的想法是通过推出空子句的方法来判定子句集的可满足性。
参考来源 - 一种新的基于扩展规则的知识编译方法·2,447,543篇论文数据,部分数据来源于NoteExpress
子句集的可满足性判定是自动证明领域的热点之一。
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
RTL混合可满足性求解是RTL验证中的关键技术。
RTL hybrid satisfiability solving is the key technique of RTL verification.
语义网的关键推理问题可以化为公式的可满足性判定问题。
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
应用推荐