To learn more information about the SAT problem, read the Boolean satisfiability problem article.
Category:NP-complete problems
Category:Satisfiability problems
Category:Formal methods tools