Pruning Through Satisfaction

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

Paper

Marijn J.H. Heule, Benjamin Kiesl, Martina Seidl, and Armin Biere (2017). PRuning Through Satisfaction. Accepted for Haifa Verification Conference 2017.
[ paper | bibtex | experiments ]

Experiments

[ sdcl-hvc17.tar.xz ]