| Publication | Date of Publication | Type |
|---|
Collapsing the bounded width hierarchy for infinite-domain constraint satisfaction problems: when symmetries are enough
SIAM Journal on Computing | 2024-12-20 | Paper |
| Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) | 2024-12-19 | Paper |
Finite algebras with Hom-sets of polynomial size
Transactions of the American Mathematical Society | 2024-12-17 | Paper |
| Smooth approximations and CSPs over finitely bounded homogeneous structures | 2024-12-06 | Paper |
Complexity classification transfer for CSPs via algebraic products
SIAM Journal on Computing | 2024-10-21 | Paper |
| Finite Algebras with Hom-Sets of Polynomial Size | 2023-07-13 | Paper |
| Symmetries of structures that fail to interpret something finite | 2023-02-23 | Paper |
| An order out of nowhere: a new algorithm for infinite-domain CSPs | 2023-01-30 | Paper |
| Complexity Classification Transfer for CSPs via Algebraic Products | 2022-11-07 | Paper |
The containment problem for unambiguous register automata
(available as arXiv preprint) | 2022-07-18 | Paper |
When symmetries are not enough: a hierarchy of hard constraint satisfaction problems
SIAM Journal on Computing | 2022-04-01 | Paper |
A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP
SIAM Journal on Computing | 2021-09-10 | Paper |
The containment problem for unambiguous register automata and unambiguous timed automata
Theory of Computing Systems | 2021-08-05 | Paper |
scientific article; zbMATH DE number 7378350 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-04 | Paper |
CORES OVER RAMSEY STRUCTURES
Journal of Symbolic Logic | 2021-07-12 | Paper |
A universal-algebraic proof of the complexity dichotomy for monotone monadic SNP
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
\( \omega \)-categorical structures avoiding height 1 identities
Transactions of the American Mathematical Society | 2020-12-18 | Paper |
Extensions of unification modulo ACUI
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
| Smooth approximations and CSPs over finitely bounded homogeneous structures | 2020-11-08 | Paper |
| Constraint Satisfaction Problems over Finite Structures | 2020-10-10 | Paper |
Cores over Ramsey structures
(available as arXiv preprint) | 2020-04-13 | Paper |
| Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) | 2019-01-14 | Paper |
Discrete temporal constraint satisfaction problems
Journal of the ACM | 2018-12-06 | Paper |
The complexity of disjunctive linear Diophantine constraints
(available as arXiv preprint) | 2018-07-03 | Paper |
A dichotomy for first-order reducts of unary structures
(available as arXiv preprint) | 2018-05-30 | Paper |
Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Distance constraint satisfaction problems
Information and Computation | 2016-03-10 | Paper |
Constraint satisfaction problems over the integers with successor
Automata, Languages, and Programming | 2015-10-27 | Paper |
Constraint satisfaction problems over the integers with successor
Automata, Languages, and Programming | 2015-10-27 | Paper |
