2SAT

(redirected from 2-satisfiability)
Also found in: Wikipedia.
AcronymDefinition
2SAT2-Satisfiability (Boolean satisfiability problem expressed in 2CNF form)