%0 Conference Paper %1 conf/sat/AudemardS16 %A Audemard, Gilles %A Simon, Laurent %B SAT %D 2016 %E Creignou, Nadia %E Berre, Daniel Le %I Springer %K dblp %P 87-103 %T Extreme Cases in SAT Problems. %U http://dblp.uni-trier.de/db/conf/sat/sat2016.html#AudemardS16 %V 9710 %@ 978-3-319-40969-6

@inproceedings{conf/sat/AudemardS16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Audemard, Gilles and Simon, Laurent}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dc232fc8a4ec1cd87a9e58278a38685e/dblp}, booktitle = {SAT}, crossref = {conf/sat/2016}, editor = {Creignou, Nadia and Berre, Daniel Le}, ee = {https://doi.org/10.1007/978-3-319-40970-2_7}, interhash = {19637c265f682b43eaa609850573d80f}, intrahash = {dc232fc8a4ec1cd87a9e58278a38685e}, isbn = {978-3-319-40969-6}, keywords = {dblp}, pages = {87-103}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:51:27.000+0200}, title = {Extreme Cases in SAT Problems.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2016.html#AudemardS16}, volume = 9710, year = 2016 }