Pubblicazioni

Cops-Robber Games and the Resolution of Tseitin Formulas

2020 - ACM TRANSACTIONS ON COMPUTATION THEORY
Galesi, N.; Talebanfard, N.; Toran, J.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma