Publications
- Free access to Preprints and postprints via ArXiv
- My publications in MathSciNet (good coverage in mathematics; login required): MathSciNet database.
- My publications in DBLP (good coverage in computer science): DBLP database
- My publickations in the research information system of TU Dresden: FIS.
- Google Scholar
- My publication list at Ecole Polytechnique; no longer maintained.
Here is a Postprint of the book with the title "Complexity of Infinite-Domain Constraint Satisfaction" which appeared in the LNL Series of Cambridge University Press.
The publications of the chair of algebra and discrete structures in the system FIS of TU Dresden:
64 Entries
2023
-
The smallest hard trees , Jun 2023, In: Constraints. 28, 2, p. 105–137, 33 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
On the Descriptive Complexity of Temporal Constraint Satisfaction Problems. , Feb 2023, In: Journal of the ACM. 70, 1, p. 1-58, 58 p., 3566051Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Network Satisfaction Problems Solved by k-Consistency , 2023, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). p. 116:1-116:20, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
The lattice of clones of self-dual operations collapsed , 2023, In: International Journal of Algebra and Computation. 33, 4, p. 717-749, 33 p., 4Electronic (full-text) versionResearch output: Contribution to journal > Research article
2022
-
Hochschild lattices and shuffle lattices , Jun 2022, In: European Journal of Combinatorics. 103, 31 p., 103521Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation , 1 Jan 2022, In: ACM transactions on computational logic. 23, 1, p. 7:1-7:35, 35 p., 1Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Maximal Digraphs with Respect to Primitive Positive Constructability , 2022, In: Combinatorica : an international journal on combinatorics and the theory of computing. 42, 6, p. 997-1010, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom , 2022, In: J. Artif. Intell. Res.. 75, p. 1701-1744, 44 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
2021
-
Solving equation systems in ω -categorical algebras , 1 Dec 2021, In: Journal of Mathematical Logic : JML. 21, 3, 2150020Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Smooth digraphs modulo primitive positive constructability and cyclic loop conditions , Aug 2021, In: International journal of algebra and computation. 31, 5, p. 929-967, 39 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Complexity of Infinite-Domain Constraint Satisfaction , 30 Jun 2021, Cambridge University PressElectronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
-
Canonical functions: A proof via topological dynamics , 29 Jun 2021, In: Contributions to Discrete Mathematics : CDM. 16, 2, p. 36-45, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Noncrossing Arc Diagrams, Tamari Lattices, and Parabolic Quotients of the Symmetric Group , Jun 2021, In: Annals of combinatorics. 25, 2, p. 307-344, 38 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
PROJECTIVE CLONE HOMOMORPHISMS , Mar 2021, In: The journal of symbolic logic. 86, 1, p. 148-161, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Permutation groups with small orbit growth , 20 Jan 2021, In: Journal of Group Theory. 24, 4, p. 643-709, 67 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
ω-categorical structures avoiding height 1 identities , Jan 2021, In: Transactions of the American Mathematical Society. 374, 1, p. 327-350, 24 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
A Consecutive Lehmer Code for Parabolic Quotients of the Symmetric Group. , 2021, In: The Electronic journal of combinatorics. 28, 3, 28 p., P3.53Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
A proof of the algebraic tractability conjecture for monotone monadic SNP , 2021, In: SIAM journal on computing : a publication of the Society for Industrial and Applied Mathematics. 50, 4Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property. , 2021, LICS. p. 1-13, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Datalog-Expressibility for Monadic and Guarded Second-Order Logic , 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Bansal, N., Merelli, E. & Worrell, J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 120:1-120:17, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Distributive lattices have the intersection property , 2021, In: Mathematica Bohemica. 146, 1, p. 7-17, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom. , 2021, AAAI. p. 6218-6226, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On Logics and Homomorphism Closure , 2021, Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021). Wiley-IEEE Press, p. 1-13, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Piecewise linear valued constraint satisfaction problems with fixed number of variables , 2021, AIRO Springer Series. Springer International Publishing AG, p. 265-276, 12 p., (AIRO Springer Series; vol. 5)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Tractable Combinations of Theories via Sampling , 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Springer, Berlin [u. a.], p. 133-146, 14 p., (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution