A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. - Blanchette, Jasmin Christian; Fleury, Mathias; Weidenbach, Christoph (2016)