411 REFERENCE · Wiktionary
2-SAT
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
2SAT
Translingual
2-satisfiability
Alternative forms
mul 2SAT
Etymology
From mul SAT and 2, the number of literals per clause.
Symbol
mul computing theory The decision problem of deciding whether a given Boolean formula in conjunctive normal form with two literals per clause is satisfiable.
See also
mul 3-SAT
mul SAT