%0 Conference Paper %1 conf/sat/ColnetM21 %A de Colnet, Alexis %A Mengel, Stefan %B SAT %D 2021 %E Li, Chu-Min %E Manyà, Felip %I Springer %K dblp %P 116-133 %T Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. %U http://dblp.uni-trier.de/db/conf/sat/sat2021.html#ColnetM21 %V 12831 %@ 978-3-030-80223-3

@inproceedings{conf/sat/ColnetM21, added-at = {2021-07-21T00:00:00.000+0200}, author = {de Colnet, Alexis and Mengel, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2c2d4caa77ffe60c12b4c4cf04d279574/dblp}, booktitle = {SAT}, crossref = {conf/sat/2021}, editor = {Li, Chu-Min and Manyà, Felip}, ee = {https://doi.org/10.1007/978-3-030-80223-3_9}, interhash = {1547065cfc99f787683a889f3d215b0b}, intrahash = {c2d4caa77ffe60c12b4c4cf04d279574}, isbn = {978-3-030-80223-3}, keywords = {dblp}, pages = {116-133}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {Characterizing Tseitin-Formulas with Short Regular Resolution Refutations.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2021.html#ColnetM21}, volume = 12831, year = 2021 }