%0 Conference Paper %1 conf/sat/GalesiTT18 %A Galesi, Nicola %A Talebanfard, Navid %A Torán, Jacobo %B SAT %D 2018 %E Beyersdorff, Olaf %E Wintersteiger, Christoph M. %I Springer %K dblp %P 311-326 %T Cops-Robber Games and the Resolution of Tseitin Formulas. %U http://dblp.uni-trier.de/db/conf/sat/sat2018.html#GalesiTT18 %V 10929 %@ 978-3-319-94144-8

@inproceedings{conf/sat/GalesiTT18, added-at = {2018-06-27T00:00:00.000+0200}, author = {Galesi, Nicola and Talebanfard, Navid and Torán, Jacobo}, biburl = {https://www.bibsonomy.org/bibtex/2e2fd4d8a0c176528b39abac6c272c70d/dblp}, booktitle = {SAT}, crossref = {conf/sat/2018}, editor = {Beyersdorff, Olaf and Wintersteiger, Christoph M.}, ee = {https://doi.org/10.1007/978-3-319-94144-8_19}, interhash = {f2b1091516f67bf78bedab338bedb5bf}, intrahash = {e2fd4d8a0c176528b39abac6c272c70d}, isbn = {978-3-319-94144-8}, keywords = {dblp}, pages = {311-326}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:20:07.000+0200}, title = {Cops-Robber Games and the Resolution of Tseitin Formulas.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2018.html#GalesiTT18}, volume = 10929, year = 2018 }