%0 Conference Paper %1 conf/cp/FosseS18 %A Fossé, Rohan %A Simon, Laurent %B CP %D 2018 %E Hooker, John N. %I Springer %K dblp %P 128-143 %T On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. %U http://dblp.uni-trier.de/db/conf/cp/cp2018.html#FosseS18 %V 11008 %@ 978-3-319-98334-9

@inproceedings{conf/cp/FosseS18, added-at = {2018-08-23T00:00:00.000+0200}, author = {Fossé, Rohan and Simon, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/243e5aa2a9385b1d8b87cab10deafd4a1/dblp}, booktitle = {CP}, crossref = {conf/cp/2018}, editor = {Hooker, John N.}, ee = {https://doi.org/10.1007/978-3-319-98334-9_9}, interhash = {01ccb94909fd5b2aca06d21ff3edac67}, intrahash = {43e5aa2a9385b1d8b87cab10deafd4a1}, isbn = {978-3-319-98334-9}, keywords = {dblp}, pages = {128-143}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:19:26.000+0200}, title = {On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2018.html#FosseS18}, volume = 11008, year = 2018 }