Publikationen

Freier Zugang zu Preprints and Postprints via ArXiv
Meine Publikationen in zbMATHOpen (gute Abdeckung in Mathematik; freier Zugang).
Meine Publikationen in DBLP (gute Abdeckung in Informtik).
Meine Publikationen auf Orcid.
Meine Publikationen in MathSciNet (gute Abdeckung in Mathematik; Login notwendig).
Meine Publikationen im Forschungsinformationssystem (FIS) der TU Dresden.
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:

88 Einträge

2020

Extensions of Unification Modulo ACUIBaader, F., Marantidis, P., Mottet, A. & Okhotin, A., 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.Bodirsky, M. & Knäuer, S., 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 CatalandCeballos, C., Fang, W. & Mühle, H., 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-cyclesMühle, H. & Nadeau, P., 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 latticeMühle, H., 1 März 2019, in: Algebra universalis. 80, 1, 10Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Ballot-Noncrossing PartitionsMühle, H., 2019Publikation: Beitrag zu Konferenzen > Paper
Constraint satisfaction problems for reducts of homogeneous graphsBodirsky, M., Martin, B., Pinsker, M. & Pongracz, A., 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.Mühle, H. & Williams, N., 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 domainsBodirsky, M., Mamino, M. & Viola, C., 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 constraintsBodirsky, M., Martin, B., Mamino, M. & Mottet, A., 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 SNPBodirsky, M., Madelaine, F. & Mottet, A., 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 structuresBodirsky, M. & Mottet, A., 22 Mai 2018, in: Logical methods in computer science. 14, 2, 13Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Classification Transfer for Qualitative Reasoning Problems.Bodirsky, M., Jonsson, P., Martin, B. & Mottet, A., 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
On the lattice property of shard ordersMühle, H., 2018Publikation: Beitrag zu Konferenzen > Paper
Two posets of noncrossing partitions coming from undesired parking spacesMühle, H., 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 BMuhle, H., Juli 2017, in: Order. 34, 2, S. 327-348, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
A topological characterisation of endomorphism monoids of countable structuresBodirsky, M. & Schneider, F. M., 1 Juni 2017, in: Algebra Universalis. 77, 3, S. 251-269, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Symmetric decompositions and the strong Sperner property for noncrossing partition latticesMuhle, H., 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.Bodirsky, M. & Mamino, M., 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 PartitionsMühle, H., 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-SATLagerkvist, V. & Roy, B., 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 satisfactionBodirsky, M. & Mottet, A., 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
Distance constraint satisfaction problemsBodirsky, M., Dalmau, V., Martin, B., Mottet, A. & Pinsker, M., 1 April 2016, in: Information and computation. 247, S. 87-105, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
The complexity of phylogeny constraint satisfactionBodirsky, M., Jonsson, P. & Van Pham, T., 1 Feb. 2016, 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016. Vollmer, H. & Ollinger, N. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Constraint Satisfaction Problems for Reducts of Homogeneous GraphsBodirsky, M., Martin, B., Pinsker, M. & Pongrácz, A., 2016, S. 119:1--119:14Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper