satisfiability

基本解释

The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
The satisfiability problem is a key problem in computer science and artificial intelligence.
这是计算机科学和人工智能中的重要问题之一。
The research of this paper is based on the Boolean Satisfiability (SAT) Problem of combinational circuit.
本文研究工作是针对可满足问题（SAT）在组合电路验证和测试中的应用展开的。
Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme.
摘要在基于逻辑电路的布尔推理过程中，经常用到二叉判决图(BDD)与布尔可满足性(SAT)相结合的算法。
Another goal of the project is to find good methods for checking the satisfiability of first-order formulas (in finite domains).
本项目还研究了逻辑公式的可满足性判定问题。