Publikace
- WHEN SYMMETRIES ARE NOT ENOUGH: A HIERARCHY OF HARD CONSTRAINT SATISFACTION PROBLEMS2022 | Matematicko-fyzikální fakulta
- A PROOF OF THE ALGEBRAIC TRACTABILITY CONJECTURE FOR MONOTONE MONADIC SNP2021 | 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
- Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)2019 | 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
Loading network view...