| |
| | NationMaster - Encyclopedia: Boolean satisfiability problem |
 | | The propositional satisfiability problem (SAT), which decides whether a given propositional formula is satisfiable, is of central importance in various areas of computer science, including theoretical computer science, algorithmics, artificial intelligence, hardware design and verification. |
 | | This problem is solved by the polynomial-time Horn-satisfiability algorithm, and is in fact P-complete. |
 | | Although this problem seems easier, it has been shown that if there is a practical (randomized polynomial-time) algorithm to solve this problem, then all problems in NP can be solved just as easily. |
| www.nationmaster.com /encyclopedia/Boolean-satisfiability-problem (3005 words) |
|