%0 Conference Paper %1 conf/hvc/HeuleKSB17 %A Heule, Marijn J. H. %A Kiesl, Benjamin %A Seidl, Martina %A Biere, Armin %B Haifa Verification Conference %D 2017 %E Strichman, Ofer %E Tzoref-Brill, Rachel %I Springer %K %P 179-194 %T PRuning Through Satisfaction. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2017.html#HeuleKSB17 %V 10629 %@ 978-3-319-70389-3

@inproceedings{conf/hvc/HeuleKSB17, added-at = {2023-12-12T19:18:36.000+0100}, author = {Heule, Marijn J. H. and Kiesl, Benjamin and Seidl, Martina and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/2f5582ca398599862ed7499c04122d86b/admin}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2017}, editor = {Strichman, Ofer and Tzoref-Brill, Rachel}, ee = {https://doi.org/10.1007/978-3-319-70389-3_12}, interhash = {1ec937c7cfd55bb7312914fd27906eae}, intrahash = {f5582ca398599862ed7499c04122d86b}, isbn = {978-3-319-70389-3}, keywords = {}, pages = {179-194}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:18:36.000+0100}, title = {PRuning Through Satisfaction.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2017.html#HeuleKSB17}, volume = 10629, year = 2017 }