versat: A Verified Modern SAT Solver.

Duckki Oe, Aaron Stump, Corey Oliver, Kevin Clancy

Browse the full VMCAI paper archive.