2-SAT

From Wiktionary, the free dictionary
Jump to navigation Jump to search
See also: 2SAT

Translingual[edit]

English Wikipedia has an article on:
Wikipedia

Alternative forms[edit]

Etymology[edit]

From SAT and 2, the number of literals per clause.

Symbol[edit]

2-SAT

  1. (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[edit]

Retrieved from "https://en.wiktionary.org/w/index.php?title=2-SAT&oldid=40677318"