Fleury, Mathias Automation of Logic, MPI for Informatics, Max Planck Society;
Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Fleury, M., Blanchette, J. C., & Lammich, P. (2018). A Verified SAT Solver with Watched Literals using Imperative HOL. In J. Andronick, & A. Felty (Eds.), CPP'18 (pp. 158-171). New York, NY: ACM. doi:10.1145/3167080.