%0 Conference Paper %1 conf/sat/KieslHS17 %A Kiesl, Benjamin %A Heule, Marijn J. H. %A Seidl, Martina %B SAT %D 2017 %E Gaspers, Serge %E Walsh, Toby %I Springer %K %P 281-297 %T A Little Blocked Literal Goes a Long Way. %U http://dblp.uni-trier.de/db/conf/sat/sat2017.html#KieslHS17 %V 10491 %@ 978-3-319-66263-3

@inproceedings{conf/sat/KieslHS17, added-at = {2023-12-13T04:06:24.000+0100}, author = {Kiesl, Benjamin and Heule, Marijn J. H. and Seidl, Martina}, biburl = {https://www.bibsonomy.org/bibtex/234e9f41c2acd599fcbdc8eca517d5390/admin}, booktitle = {SAT}, crossref = {conf/sat/2017}, editor = {Gaspers, Serge and Walsh, Toby}, ee = {https://doi.org/10.1007/978-3-319-66263-3_18}, interhash = {92032d340ad60b361b1cfca47a461cd3}, intrahash = {34e9f41c2acd599fcbdc8eca517d5390}, isbn = {978-3-319-66263-3}, keywords = {}, pages = {281-297}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:06:24.000+0100}, title = {A Little Blocked Literal Goes a Long Way.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2017.html#KieslHS17}, volume = 10491, year = 2017 }