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. (2017). A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. In C. Sierra (Ed.), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (pp. 4786-4790). International Joint Conferences on Artificial Intelligence. doi:10.24963/ijcai.2017/667.