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