| Publication | Date of Publication | Type |
|---|
A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
(available as arXiv preprint) | N/A | Paper |
Mixed identities for oligomorphic automorphism groups
(available as arXiv preprint) | N/A | Paper |
The Generic Circular Triangle-Free Graph
(available as arXiv preprint) | N/A | Paper |
The complexity of resilience problems via valued constraint satisfaction
ACM Transactions on Computational Logic | 2026-09-08 | Paper |
| Temporal valued constraint satisfaction problems | 2026-08-05 | Paper |
| Polynomial-time tractable problems over the p-adic numbers | 2026-08-05 | Paper |
| Symmetric linear arc monadic Datalog and gadget reductions | 2026-07-08 | Paper |
Datalog-expressibility for monadic and guarded second-order logic
ACM Transactions on Computational Logic | 2026-06-11 | Paper |
| Datalog-expressibility for monadic and guarded second-order logic | 2026-05-12 | Paper |
Symmetric linear arc monadic Datalog and gadget reductions
Theory of Computing Systems | 2026-04-27 | Paper |
Spectrahedral shadows and completely positive maps on real closed fields
Journal of the European Mathematical Society (JEMS) | 2026-03-24 | Paper |
Network satisfaction problems solved by k-consistency
International Journal of Algebra and Computation | 2026-02-17 | Paper |
The generic circular triangle-free graph
Journal of Graph Theory | 2025-07-08 | Paper |
Maximal digraphs with respect to primitive positive constructability
Combinatorica | 2025-06-19 | Paper |
| The complexity of resilience problems via valued constraint satisfaction problems | 2025-06-18 | Paper |
A complexity dichotomy in spatial reasoning via Ramsey theory
ACM Transactions on Computation Theory | 2025-02-25 | Paper |
Forbidden tournaments and the orientation completion problem
SIAM Journal on Discrete Mathematics | 2025-01-22 | Paper |
| Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) | 2024-12-19 | Paper |
| Network satisfaction problems solved by \(k\)-consistency | 2024-11-14 | Paper |
Complexity classification transfer for CSPs via algebraic products
SIAM Journal on Computing | 2024-10-21 | Paper |
On the descriptive complexity of temporal constraint satisfaction problems
Journal of the ACM | 2024-07-04 | Paper |
| The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems | 2023-09-27 | Paper |
The smallest hard trees
Constraints | 2023-09-15 | Paper |
| Forbidden Tournaments and the Orientation Completion Problem | 2023-09-15 | Paper |
The lattice of clones of self-dual operations collapsed
International Journal of Algebra and Computation | 2023-07-18 | Paper |
| Network Satisfaction Problems Solved by k-Consistency | 2023-04-25 | Paper |
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
Journal of Artificial Intelligence Research | 2023-01-09 | Paper |
ASNP: a tame fragment of existential second-order logic
(available as arXiv preprint) | 2022-12-16 | Paper |
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
| Complexity Classification Transfer for CSPs via Algebraic Products | 2022-11-07 | Paper |
Universal Horn Sentences and the Joint Embedding Property
Discrete Mathematics & Theoretical Computer Science | 2022-09-30 | Paper |
Universal Horn Sentences and the Joint Embedding Property
Discrete Mathematics & Theoretical Computer Science | 2022-09-30 | Paper |
Hardness of Network Satisfaction for Relation Algebras with Normal Representations
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
Tractable combinations of temporal CSPs
(available as arXiv preprint) | 2022-08-02 | Paper |
| Tractable combinations of temporal CSPs | 2022-08-02 | Paper |
| Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields | 2022-06-13 | Paper |
Submodular functions and valued constraint satisfaction problems over infinite domains
(available as arXiv preprint) | 2022-05-28 | Paper |
| Asymptotic Theories of Classes Defined by Forbidden Homomorphisms | 2022-04-04 | Paper |
Piecewise linear valued constraint satisfaction problems with fixed number of variables
(available as arXiv preprint) | 2021-12-08 | Paper |
Tractable combinations of theories via sampling
(available as arXiv preprint) | 2021-12-01 | Paper |
Solving equation systems in ω-categorical algebras
Journal of Mathematical Logic | 2021-11-03 | Paper |
Canonical functions: a proof via topological dynamics
(available as arXiv preprint) | 2021-10-05 | Paper |
| Canonical functions: a proof via topological dynamics | 2021-10-05 | Paper |
A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP
SIAM Journal on Computing | 2021-09-10 | Paper |
Smooth digraphs modulo primitive positive constructability and cyclic loop conditions
International Journal of Algebra and Computation | 2021-09-07 | Paper |
scientific article; zbMATH DE number 7378350 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-04 | Paper |
PROJECTIVE CLONE HOMOMORPHISMS
Journal of Symbolic Logic | 2021-07-12 | Paper |
PROJECTIVE CLONE HOMOMORPHISMS
Journal of Symbolic Logic | 2021-07-12 | Paper |
Permutation groups with small orbit growth
Journal of Group Theory | 2021-07-08 | Paper |
| Constraint satisfaction problems over numeric domains | 2021-06-15 | Paper |
| Complexity of infinite-domain constraint satisfaction | 2021-05-05 | Paper |
| On Logics and Homomorphism Closure | 2021-04-24 | Paper |
| Maximal Digraphs With Respect to Primitive Positive Constructibility | 2021-03-15 | Paper |
Temporal constraint satisfaction problems in fixed-point logic
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | 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 |
Tractable Combinations of Temporal CSPs
(available as arXiv preprint) | 2020-12-10 | Paper |
Tractable Combinations of Theories via Sampling
(available as arXiv preprint) | 2020-12-02 | Paper |
| Datalog-Expressibility for Monadic and Guarded Second-Order Logic | 2020-10-12 | Paper |
scientific article; zbMATH DE number 7199580 (Why is no real title available?)
(available as arXiv preprint) | 2020-05-12 | Paper |
| scientific article; zbMATH DE number 7199580 (Why is no real title available?) | 2020-05-12 | Paper |
Two-element structures modulo primitive positive constructability
Algebra Universalis | 2020-04-06 | Paper |
ASNP: a tame fragment of existential second-order logic
(available as arXiv preprint) | 2020-01-22 | Paper |
Solving Equation Systems in \omega-categorical Algebras
(available as arXiv preprint) | 2019-12-20 | Paper |
Constraint satisfaction problems for reducts of homogeneous graphs
SIAM Journal on Computing | 2019-09-02 | 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 |
Finite relation algebras with normal representations
(available as arXiv preprint) | 2018-11-08 | Paper |
Complexity of combinations of qualitative constraint satisfaction problems
(available as arXiv preprint) | 2018-10-18 | Paper |
Structures with Small Orbit Growth
(available as arXiv preprint) | 2018-10-12 | Paper |
The universal homogeneous binary tree
Journal Of Logic And Computation | 2018-09-28 | Paper |
The universal homogeneous binary tree
Journal Of Logic And Computation | 2018-09-28 | Paper |
The complexity of disjunctive linear Diophantine constraints
(available as arXiv preprint) | 2018-07-03 | Paper |
A counterexample to the reconstruction of -categorical structures from their endomorphism monoid
Israel Journal of Mathematics | 2018-06-29 | Paper |
A counterexample to the reconstruction of -categorical structures from their endomorphism monoid
Israel Journal of Mathematics | 2018-06-29 | Paper |
Tropically convex constraint satisfaction
Theory of Computing Systems | 2018-06-01 | 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 |
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains
(available as arXiv preprint) | 2018-04-05 | Paper |
| The complexity of phylogeny constraint satisfaction | 2018-01-24 | Paper |
The Complexity of Combinations of Qualitative Constraint Satisfaction Problems
(available as arXiv preprint) | 2018-01-18 | Paper |
Constraint satisfaction problems for reducts of homogeneous graphs
(available as arXiv preprint) | 2017-12-19 | Paper |
The complexity of phylogeny constraint satisfaction problems
ACM Transactions on Computational Logic | 2017-10-16 | Paper |
A topological characterisation of endomorphism monoids of countable structures
Algebra Universalis | 2017-06-22 | Paper |
The reducts of the homogeneous binary branching C-relation
Journal of Symbolic Logic | 2017-04-28 | Paper |
Reducts of structures and maximal-closed permutation groups
Journal of Symbolic Logic | 2017-04-28 | Paper |
A model-theoretic view on qualitative constraint reasoning
Journal of Artificial Intelligence Research | 2017-04-10 | Paper |
Reconstructing the topology of clones
Transactions of the American Mathematical Society | 2017-02-09 | Paper |
| The complexity of constraint satisfaction problems (invited talk) | 2017-01-24 | Paper |
Ramsey classes: examples and constructions
Surveys in Combinatorics 2015 | 2016-12-20 | Paper |
Canonical Functions: a proof via topological dynamics
(available as arXiv preprint) | 2016-10-30 | Paper |
MAX-closed semilinear constraint satisfaction
Computer Science – Theory and Applications | 2016-07-25 | Paper |
Schaefer's theorem for graphs
Journal of the ACM | 2016-03-24 | 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 |
The 42 reducts of the random ordered graph
Proceedings of the London Mathematical Society | 2015-10-02 | Paper |
A fast algorithm and Datalog inexpressibility for temporal reasoning
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Constraint satisfaction tractability from semi-lattice operations on infinite sets
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| A new algorithm for normal dominance constraints | 2015-08-03 | Paper |
Tractability of quantified temporal constraints to the max
International Journal of Algebra and Computation | 2015-02-24 | Paper |
Topological Birkhoff
Transactions of the American Mathematical Society | 2015-02-02 | Paper |
| An unbiased pointing operator for unlabeled structures, with applications to counting and sampling | 2014-12-18 | Paper |
Projective clone homomorphisms
(available as arXiv preprint) | 2014-09-16 | Paper |
New Ramsey classes from old
The Electronic Journal of Combinatorics | 2014-09-04 | Paper |
New Ramsey classes from old
The Electronic Journal of Combinatorics | 2014-09-04 | Paper |
Minimal functions on the random graph
Israel Journal of Mathematics | 2014-06-25 | Paper |
Schaefer's theorem for graphs
Proceedings of the forty-third annual ACM symposium on Theory of computing | 2014-06-05 | Paper |
Decidability of definability
Journal of Symbolic Logic | 2014-04-04 | Paper |
Decidability of definability
Journal of Symbolic Logic | 2014-04-04 | Paper |
