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;
s10817-018-9455-7.pdf (Verlagsversion), 575KB
Blanchette, J. C., Fleury, M., Lammich, P., & Weidenbach, C. (2018). A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. Journal of Automated Reasoning, 61(1-4), 333-365. doi:10.1007/s10817-018-9455-7.