%0 Conference Paper %1 conf/sat/SchederZ08 %A Scheder, Dominik %A Zumstein, Philipp %B SAT %D 2008 %E Büning, Hans Kleine %E Zhao, Xishun %I Springer %K dblp %P 246-256 %T How Many Conflicts Does It Need to Be Unsatisfiable? %U http://dblp.uni-trier.de/db/conf/sat/sat2008.html#SchederZ08 %V 4996 %@ 978-3-540-79718-0

@inproceedings{conf/sat/SchederZ08, added-at = {2022-10-02T00:00:00.000+0200}, author = {Scheder, Dominik and Zumstein, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/2f898dc9d792f525ca49263075dd21185/dblp}, booktitle = {SAT}, crossref = {conf/sat/2008}, editor = {Büning, Hans Kleine and Zhao, Xishun}, ee = {https://www.wikidata.org/entity/Q56475807}, interhash = {fbf7fe338bd5b63654de23fe27a6e5e7}, intrahash = {f898dc9d792f525ca49263075dd21185}, isbn = {978-3-540-79718-0}, keywords = {dblp}, pages = {246-256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:01:21.000+0200}, title = {How Many Conflicts Does It Need to Be Unsatisfiable?}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2008.html#SchederZ08}, volume = 4996, year = 2008 }