A Conjunctive Normal Form For S3.5.

M. J. Cresswell

Published in: J. Symb. Log. (1969)

Keyphrases

conjunctive normal form
satisfiability problem
polynomial size
boolean formula
cnf formula
propositional satisfiability
search algorithm
sat instances
truth values
disjunctive normal form
propositional formulas
np complete
branch and bound