%0 Conference Paper %1 conf/cade/KieslSTB16 %A Kiesl, Benjamin %A Seidl, Martina %A Tompits, Hans %A Biere, Armin %B IJCAR %D 2016 %E Olivetti, Nicola %E Tiwari, Ashish %I Springer %K %P 45-61 %T Super-Blocked Clauses. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#KieslSTB16 %V 9706 %@ 978-3-319-40228-4

@inproceedings{conf/cade/KieslSTB16, added-at = {2023-12-13T00:11:23.000+0100}, author = {Kiesl, Benjamin and Seidl, Martina and Tompits, Hans and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/23b312b4ecf3c4f75604887bc4bbb04d5/admin}, booktitle = {IJCAR}, crossref = {conf/cade/2016}, editor = {Olivetti, Nicola and Tiwari, Ashish}, ee = {https://doi.org/10.1007/978-3-319-40229-1_5}, interhash = {5ffec617728907a2ec0dedbb4a552897}, intrahash = {3b312b4ecf3c4f75604887bc4bbb04d5}, isbn = {978-3-319-40228-4}, keywords = {}, pages = {45-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:11:23.000+0100}, title = {Super-Blocked Clauses.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#KieslSTB16}, volume = 9706, year = 2016 }