User:Ricardosekeff/Books/MAX-SAT

A maximum satisfiability problem

 * SAT Problems
 * Maximum satisfiability problem
 * Boolean satisfiability problem


 * Complexity Theorem
 * Computational complexity theory
 * P versus NP problem
 * P (complexity)
 * NP (complexity)
 * NP-complete
 * Cook–Levin theorem