2-SAT
See also: 2SAT
Translingual
editAlternative forms
editEtymology
editFrom SAT and 2, the number of literals per clause.
Symbol
edit2-SAT
- (computing theory) The decision problem of deciding whether a given Boolean formula in conjunctive normal form with two literals per clause is satisfiable.