Efficient, Verified Checking of Propositional Proofs

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66107-0_18 ◽

2017 ◽

pp. 269-284 ◽

Author(s):

Marijn Heule ◽

Warren Hunt ◽

Matt Kaufmann ◽

Nathan Wetzler

Download Full-text