Versat: A Verified Modern SAT Solver (2012)

by D Oe, A Stump, C Oliver, K Clancy
Venue:In Verification, Model Checking and Abstract Interpretation