411 REFERENCE · Wiktionary
3-SAT
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
3SAT
Translingual
Alternative forms
mul 3SAT
Etymology
From mul SAT and 3, 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 three literals per clause is satisfiable. A famous NP-complete problem.
See also
mul SAT