Publikationen
- Freier Zugang zu Preprints and Postprints via ArXiv
- Meine Publikationen in MathSciNet (gute Abdeckung in Mathematik; Login notwendig): MathSciNet database.
- Meine Publikationen in DBLP (gute Abdeckung in Informtik): DBLP database
- Meine Publikationen im Forschungsinformationssystem der TU Dresden: FIS.
- Google Scholar
- Meine Publikationsliste an der Ecole Polytechnique; wird nicht weiter aktualisiert
Hier ein Postprint des Buches mit dem Titel "Complexity of Infinite-Domain Constraint Satisfaction", welches in der LNL Serie (Cambridge University Press) erschienen ist.
Die Publikationen des Lehrstuhls im Forschungsinformationssystem der TU Dresden:
64 Einträge
2023
-
The smallest hard trees , Juni 2023, in: Constraints. 28, 2, S. 105–137, 33 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
On the Descriptive Complexity of Temporal Constraint Satisfaction Problems. , Feb. 2023, in: Journal of the ACM. 70, 1, S. 1-58, 58 S., 3566051Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Network Satisfaction Problems Solved by k-Consistency , 2023, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). S. 116:1-116:20, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
The lattice of clones of self-dual operations collapsed , 2023, in: International Journal of Algebra and Computation. 33, 4, S. 717-749, 33 S., 4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
2022
-
Hochschild lattices and shuffle lattices , Juni 2022, in: European Journal of Combinatorics. 103, 31 S., 103521Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation , 1 Jan. 2022, in: ACM transactions on computational logic. 23, 1, S. 7:1-7:35, 35 S., 1Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Maximal Digraphs with Respect to Primitive Positive Constructability , 2022, in: Combinatorica : an international journal on combinatorics and the theory of computing. 42, 6, S. 997-1010, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom , 2022, in: J. Artif. Intell. Res.. 75, S. 1701-1744, 44 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
2021
-
Solving equation systems in ω -categorical algebras , 1 Dez. 2021, in: Journal of Mathematical Logic : JML. 21, 3, 2150020Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Smooth digraphs modulo primitive positive constructability and cyclic loop conditions , Aug. 2021, in: International journal of algebra and computation. 31, 5, S. 929-967, 39 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Complexity of Infinite-Domain Constraint Satisfaction , 30 Juni 2021, Cambridge University PressElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
-
Canonical functions: A proof via topological dynamics , 29 Juni 2021, in: Contributions to Discrete Mathematics : CDM. 16, 2, S. 36-45, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Noncrossing Arc Diagrams, Tamari Lattices, and Parabolic Quotients of the Symmetric Group , Juni 2021, in: Annals of combinatorics. 25, 2, S. 307-344, 38 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
PROJECTIVE CLONE HOMOMORPHISMS , März 2021, in: The journal of symbolic logic. 86, 1, S. 148-161, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Permutation groups with small orbit growth , 20 Jan. 2021, in: Journal of Group Theory. 24, 4, S. 643-709, 67 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
ω-categorical structures avoiding height 1 identities , Jan. 2021, in: Transactions of the American Mathematical Society. 374, 1, S. 327-350, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A Consecutive Lehmer Code for Parabolic Quotients of the Symmetric Group. , 2021, in: The Electronic journal of combinatorics. 28, 3, 28 S., P3.53Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
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, 4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property. , 2021, LICS. S. 1-13, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 120:1-120:17, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Distributive lattices have the intersection property , 2021, in: Mathematica Bohemica. 146, 1, S. 7-17, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom. , 2021, AAAI. S. 6218-6226, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
On Logics and Homomorphism Closure , 2021, Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021). Wiley-IEEE Press, S. 1-13, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Piecewise linear valued constraint satisfaction problems with fixed number of variables , 2021, AIRO Springer Series. Springer International Publishing AG, S. 265-276, 12 S., (AIRO Springer Series; Band 5)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
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. (Hrsg.). Springer, Berlin [u. a.], S. 133-146, 14 S., (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12678 LNAI)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband