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