Vytisknout
0523857 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
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
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * proof complexity * graph theory
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Způsob publikování: Omezený přístup
https://doi.org/10.1145/3378667
Trvalý link: http://hdl.handle.net/11104/0308136
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
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * proof complexity * graph theory
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Způsob publikování: Omezený přístup
https://doi.org/10.1145/3378667
Trvalý link: http://hdl.handle.net/11104/0308136