Boolean satisfiability可满足性;布尔可满足性问题
satisfiability criteria满意准则
concept Satisfiability概念可满足性
satisfiability respresentation可满足性表示
Propositional satisfiabilitySAT求解
Stochastic satisfiability随机可满足性
information satisfiability信息可满足性
finite satisfiability有限可满足性
incremental satisfiability增量可满足性
The traditional idea used in TP is to try to deduce the empty clause to check satisfiability.
定理证明中通常的想法是通过推出空子句的方法来判定子句集的可满足性。
参考来源 - 一种新的基于扩展规则的知识编译方法