Login / Signup
An Improved Bound on the Number of Conflicts in Unsatisfiable k-CNF Formulas
Dominik Scheder
Philipp Zumstein
Published in:
CoRR (2008)
Keyphrases
</>
cnf formula
np complete
database
upper bound
databases
genetic algorithm
computational complexity
special case
knowledge representation