Short propositional refutations for dense random 3CNF formulas.

Sebastian Müller Iddo Tzameret

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

cnf formula
np complete
max sat
truth assignment
knowledge compilation
randomly generated
propositional formulas
conjunctive normal form
sat problem
evolutionary algorithm
theorem prover
propositional logic
neural network
special case
satisfiability problem