Login / Signup
Verification of Proofs of Unsatisfiability for CNF Formulas.
Evguenii I. Goldberg
Yakov Novikov
Published in:
DATE (2003)
Keyphrases
</>
cnf formula
np complete
max sat
knowledge compilation
sat problem
propositional formulas
model checking
conjunctive normal form
davis putnam
neural network
theorem proving
lower bound
expert systems
state space
theorem prover