FIS-Export des Lehrstuhls

2019

• 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 für 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 für 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

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 für 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. Institute of Electrical and Electronics Engineers (IEEE), 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 für 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
• Generating Clones with Conservative Near-Unanimity Operation.Greiner, J., 2016, in:  Journal of multiple-valued logic and soft computing : MVLSC. 26, 3-5, S. 515-524Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel

2015

• TOPOLOGICAL BIRKHOFFBodirsky, M. & Pinsker, M., April 2015, in: Transactions of the American Mathematical Society. 367, 4, S. 2527-2549, 23 S., PII S0002-9947(2014)05975-8Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The complexity of constraint satisfaction problemsBodirsky, M., 1 Feb. 2015, 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015. Mayr, E. W. & Ollinger, N. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, S. 2-9, 8 S., (Leibniz International Proceedings in Informatics, LIPIcs; Band 30)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2014

• Tractability of quantified temporal constraints to the maxBodirsky, M., Chen, H. & Wrona, M., 16 Dez. 2014, in: International journal of algebra and computation. 24, 8, S. 1141-1156, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The 42 reducts of the random ordered graphBodirsky, M., Pinsker, M. & Pongrácz, A., 29 Mai 2014, in: Proceedings of the London Mathematical Society. 111, 3, S. 591-632, 42 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Minimal functions on the random graphBodirsky, M. & Pinsker, M., 3 April 2014, in: Israel Journal of MathematicsElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel