Statement
Sat Problem
Given a boolean function
in CNF with variables and clauses. Is there a true/false assignment to the variables that satisfies . If yes then output it, otherwise say no.
Solutions
Related
- k-satisfiability problem (k-SAT problem)
- This is a limited form of this problem
- Max-SAT