3CNF

AcronymDefinition
3CNFConjunctive Normal Form with 3 Variables Per Clause