DMCA

Efficient, Mechanically-Verified Validation of Satisfiability Solvers (2015)

by Nathan David Wetzler , Warren A. Hunt , Marijn J. H. Heule , Armin Biere , Vladimir Lifschitz , J Strother Moore , Vijaya Ramachandran , Nathan David Wetzler