team
contact
software
publications
teaching
jobs
[ paper | experiments ]
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. In Proc. 13th Haifa Verification
Conference (HVC'17). Lecture Notes in Computer
Science (LNCS) vol. 10629, pages 179-194, Springer
2017.
[ paper
| bibtex
| experiments ]