Pruning Through Satisfaction

This site provides access to experimental data, source code and benchmarks of our HVC'17 paper.


Marijn J.H. Heule, Benjamin Kiesl, Martina Seidl, and Armin Biere (2017). PRuning Through Satisfaction. In Proc. 13th Haifa Verification Conference (HVC'17). Lecture Notes in Computer Science (LNCS) vol. 10629, pages 179-194, Springer 2017.
[ paper | bibtex | experiments ]


[ sdcl-hvc17.tar.xz ]