I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Cops-Robber Games and the Resolution of Tseitin Formulas:

Galesi, Nicola ; Talebanfard, Navid ; Torán, Jacobo
ACM Transactions on Computation Theory (TOCT).  12 (2020)  2 - p. 1-22 , 2020
Link: https://dl.acm.org/doi/10.1145/3378667