Basket

0523857 - MÚ 2021 RIV US eng J - Journal Article
Galesi, N. - Talebanfard, Navid - Torán, J.
Cops-Robber games and the resolution of Tseitin formulas.
ACM Transactions on Computation Theory. Roč. 12, č. 2 (2020), č. článku 9. ISSN 1942-3454
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : theory of computation * proof complexity * graph theory
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Method of publishing: Limited access
https://doi.org/10.1145/3378667
Permanent Link: http://hdl.handle.net/11104/0308136