2SAT

AcronymDefinition
2SAT2-Satisfiability (Boolean satisfiability problem expressed in 2CNF form)