Satisfiable Formulas Closed Under Replacement.

Hans Kleine Büning Xishun Zhao

Published in: Electron. Notes Discret. Math. (2001)

Keyphrases

cnf formula
propositional formulas
phase transition
randomly generated
satisfiability problem
sat problem
np complete
propositional logic
truth assignment
random instances
random sat
data sets
case study
horn clauses
sat instances