Cyber & formal methods publications April 1, 2011 Conference PaperThe Mechanical Verification of a DPLL-Based Satisfiability Solver ↓ View online Share this