Request file
Review/Citation: GALESI, N., TALEBANFARD, Navid, TORÁN, J. Cops-Robber games and the resolution of Tseitin formulas. In: BEYERSDORFF, O., WINTERSTEIGER, Ch., eds. Theory and Applications of Satisfiability Testing – SAT 2018. Cham: Springer, 2018, s. 311-326. Lecture Notes in Computer Science, 10929. ISBN 978-3-319-94143-1. ISSN 0302-9743
Requested document: Talebanfard1.pdf - Publisher’s postprint
The requested document is not available in open access mode. But it is possible to ask the author for a copy of the document through the form below. If your application is accepted, you will receive a document by e - mail.