Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Fleury, Mathias Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Blanchette, J. C., Fleury, M., & Weidenbach, C. (2016). A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. In N. Olivetti, & A. Tiwari (Eds.), Automated Reasoning (pp. 25-44). Berlin: Springer. doi:10.1007/978-3-319-40229-1_4.