大家都搜：
n.[数]可满足性
1、dissatisfied vs unsatisfied───不满意vs不满意
2、self-satisfied about───自满
3、dissatisfied employee───不满意的员工
4、dissatisfied men───不满意的人
5、unsatisfied───adj.不满意的；未得到满足的
6、self-satisfied definition───自我满足的定义
7、satisfies───n.满足因素；v.满足（satisfy的第三人称单数）
8、self-satisfied synonym───自满同义词
9、self-satisfied define───自满的定义
10、be dissatisfied with───不满于……；对……不满
1、Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.───子句集的可满足性判定是自动证明领域的热点之一。
2、Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme.───在基于逻辑电路的布尔推理过程中，经常用到二叉判决图 (B D D)与布尔可满足性 (S A T)相结合的算法。
3、Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking───结合二叉判决图和布尔可满足性的等价性验证算法
4、idea used in TP is to try to deduce the empty clause to check satisfiability.───中通常的想法是通过推出空子句的方法来判定子句集的可满足性。
5、RTL hybrid satisfiability solving is the key technique of RTL verification.───RTL混合可满足性求解是RTL验证中的关键技术。
6、Finally, the satisfiability of a SAT problem is verified by the covering of orthogonal clause group on the whole assignment space.───最后，根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足。
7、Then, using Boolean satisfiability (SAT) solvers to solve, constrained combination test cases are found out, which meet the constraints.───利用布尔可满足性求解器进行求解，找出满足约束条件的约束组合测试用例。
8、The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.───语义网的关键推理问题可以化为公式的可满足性判定问题。
9、Satisfiability (SAT) problem has been the core problem of research on computational theory.───可满足性问题 (S A T)是当代理论计算机科学的核心问题。