2CNF

AcronymDefinition
2CNFConjunctive Normal Form with 2 Variables Per Clause