Verification of proofs of unsatisfiability for CNF formulas

This publication has 6 references indexed in Scilit:

• Symbolic model checking using SAT procedures instead of BDDs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Tight integration of combinational verification methods
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Using SAT for combinational equivalence checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• GRASP: a search algorithm for propositional satisfiability
  IEEE Transactions on Computers, 1999
• Test pattern generation using Boolean satisfiability
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
• A machine program for theorem-proving
  Communications of the ACM, 1962