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
2021
-
Universal Horn Sentences and the Joint Embedding Property. , 2021, in: Discrete mathematics & theoretical computer science. abs/2104.11123Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
2020
-
Temporal Constraint Satisfaction Problems in Fixed-Point Logic , 8 Juli 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery (ACM), New York, S. 237-251, 15 S., 3394750. (ACM International Conference Proceeding Series)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Two-element structures modulo primitive positive constructability , 1 Mai 2020, in: Algebra universalis. 81, 2, 20Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Connectivity Properties of Factorization Posets in Generated Groups. , 2020, in: Order. 37, 1, S. 115-149, 35 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Extensions of Unification Modulo ACUI , 2020, in: Mathematical Structures in Computer Science. 30, 6, S. 597-626, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Hardness of Network Satisfaction for Relation Algebras with Normal Representations. , 2020, RAMiCS. S. 31-46, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
The Steep-Bounce zeta map in Parabolic Cataland , 2020, in: Journal of combinatorial theory : JCTA. 172, 105210Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
2019
-
A poset structure on the alternating group generated by 3-cycles , Dez. 2019, in: Algebraic Combinatorics. 2, 6, S. 1285-1310, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
The core label order of a congruence-uniform lattice , 1 März 2019, in: Algebra universalis. 80, 1, 10Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Constraint satisfaction problems for reducts of homogeneous graphs , 2019, in: SIAM journal on computing : a publication of the Society for Industrial and Applied Mathematics. 48, 4, S. 1224-1264, 41 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Tamari Lattices for Parabolic Quotients of the Symmetric Group. , 2019, in: The journal of combinatorics : a print version of the electronic journal of combinatorics. 26, 4, S. P4.34Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
2018
-
Submodular functions and valued constraint satisfaction problems over infinite domains , 1 Aug. 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs; Band 119)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
The complexity of disjunctive linear diophantine constraints , 1 Aug. 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33. (Leibniz International Proceedings in Informatics, LIPIcs; Band 117)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP , 9 Juli 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. IEEE, New York [u. a.], S. 105-114, 10 S., (Proceedings - Symposium on Logic in Computer Science)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A dichotomy for first-order reducts of unary structures , 22 Mai 2018, in: Logical methods in computer science. 14, 2, 13Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Classification Transfer for Qualitative Reasoning Problems. , 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18). S. 1256-1262, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Two posets of noncrossing partitions coming from undesired parking spaces , 2018, in: Revista Colombiana de Matematicas. 52, 1, S. 65-86, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
2017
-
A Heyting Algebra on Dyck Paths of Type A and B , Juli 2017, in: Order. 34, 2, S. 327-348, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Symmetric decompositions and the strong Sperner property for noncrossing partition lattices , Mai 2017, in: JOURNAL OF ALGEBRAIC COMBINATORICS. 45, 3, S. 745-775, 31 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Constraint Satisfaction Problems over Numeric Domains. , 2017, The Constraint Satisfaction Problem: Complexity and Approximability. S. 79-111Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Two Posets of Noncrossing Set Partitions , 2017, in: Electronic notes in discrete mathematics. 61, S. 885-891, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
2016
-
A preliminary investigation of satisfiability problems not harder than 1-In-3-SAT , 1 Aug. 2016, 41st International Symposium on Mathematical Foundations of Computer Science. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 64:1-64:14Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction , 5 Juli 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. IEEE, New York [u. a.], S. 623-632, 10 S., (Proceedings - Symposium on Logic in Computer Science; Band Proceedings - Symposium on Logic in Computer Science)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband