The Boolean Satisfiability is one of the most fundamental problems in computer science and a variety of algorithms-including the well-known search-based SAT algorithms-have been proposed.
布尔可满足性是计算机科学中最基础的问题之一，已经出现了包括著名的基于查找的SAT算法在内的各种算法。
To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.
强调二进制的性质这一问题，这是经常被称为布尔或命题满足。
To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.
强调二进制的性质这一问题，这是经常被称为布尔或命题满足。
应用推荐