@inproceedings{HeuleKieslSeidlBiere-HVC17,
author    = {Marijn J. H. Heule and Benjamin Kiesl and Martina Seidl and Armin Biere},
title     = {PRuning Through Satisfaction},
booktitle = {Haifa Verification Conference},
series    = {Lecture Notes in Computer Science},
volume    = {10629},
pages     = {179--194},
publisher = {Springer},
year      = {2017}
}