Up: Computer science [Top][Contents]
A special case of SAT with
exactly three literals per clause.
The problem is NP-complete.