Publikace
- A PROOF OF THE ALGEBRAIC TRACTABILITY CONJECTURE FOR MONOTONE MONADIC SNP2021 | Matematicko-fyzikální fakulta
- WHEN SYMMETRIES ARE NOT ENOUGH: A HIERARCHY OF HARD CONSTRAINT SATISFACTION PROBLEMS2022 | Matematicko-fyzikální fakulta
- The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata2021 | Matematicko-fyzikální fakulta
- CORES OVER RAMSEY STRUCTURES2021 | Matematicko-fyzikální fakulta
- Smooth Approximations and Relational Width Collapses2021 | Matematicko-fyzikální fakulta
- ω-CATEGORICAL STRUCTURES AVOIDING HEIGHT 1 IDENTITIES2021 | Matematicko-fyzikální fakulta
- New Techniques for Universality in Unambiguous Register Automata2021 | Matematicko-fyzikální fakulta
- Constraint Satisfaction Problems over Finite Structures2021 | Matematicko-fyzikální fakulta
- Hrushovski's Encoding and ω-Categorical CSP Monsters2020 | Matematicko-fyzikální fakulta
- Extensions of unificationmodulo ACUI2019 | Matematicko-fyzikální fakulta
Loading network view...