FIS-Export des Lehrstuhls

2021

• Tractable Combinations of Theories via SamplingBodirsky, M. & Greiner, J., 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

2020

• Temporal Constraint Satisfaction Problems in Fixed-Point LogicBodirsky, M., Pakusa, W. & Rydval, J., 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
• On associative operations on commutative integral domainsLehtonen, E. & Starke, F., Juni 2020, in: Semigroup forum. 100, S. 910–915Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Two-element structures modulo primitive positive constructabilityBodirsky, M. & Vucaj, A., 1 Mai 2020, in: Algebra universalis. 81, 2, 20Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Connectivity Properties of Factorization Posets in Generated Groups.Mühle, H. & Ripoll, V., 2020, in: Order. 37, 1, S. 115-149, 35 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. Institute of Electrical and Electronics Engineers (IEEE), 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