A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.

Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach

Browse the full CADE paper archive.