Dmitry Itsykson, Vsevolod Oparin. Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP. In Andrei A. Bulatov, Arseny M. Shur, editors, Computer Science - Theory and Applications - 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings. Volume 7913 of Lecture Notes in Computer Science, pages 162-173, Springer, 2013. [doi]
@inproceedings{ItsyksonO13, title = {Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP}, author = {Dmitry Itsykson and Vsevolod Oparin}, year = {2013}, doi = {10.1007/978-3-642-38536-0_14}, url = {http://dx.doi.org/10.1007/978-3-642-38536-0_14}, researchr = {https://researchr.org/publication/ItsyksonO13}, cites = {0}, citedby = {0}, pages = {162-173}, booktitle = {Computer Science - Theory and Applications - 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings}, editor = {Andrei A. Bulatov and Arseny M. Shur}, volume = {7913}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-38535-3}, }