2-SAT
Jump to navigation
Jump to search
See also: 2SAT
Translingual[edit]
Alternative forms[edit]
Etymology[edit]
From SAT and 2, the number of literals per clause.
Symbol[edit]
2-SAT
- (computing theory) The decision problem of deciding whether a given Boolean formula in conjunctive normal form with two literals per clause is satisfiable.