Skip to main navigation
Skip to secondary navigation
Skip to search
Skip to content

Publications

Free access to Preprints and postprints via ArXiv
My publications in MathSciNet (good coverage in mathematics; login required): MathSciNet database.
My publications in DBLP (good coverage in computer science): DBLP database
Google Scholar
My publication list at Ecole Polytechnique; no longer maintained.

Here is a Preprint of his book project with the title "Complexity of Infinite-Domain Constraint Satisfaction" which is to appear in the LNL Series of Cambridge University Press.

The publications of the chair of algebra and discrete structures in the system FIS of TU Dresden:

1 bis 54 von 54 Einträgen

Mühle, Henri: The Core Label Order of a Congruence-Uniform Lattice. In: Algebra Universalis 80 (2019), Nr. 1, S. 10:1–10:22

Bodirsky, Manuel; Greiner, Johannes: Complexity of Combinations of Qualitative Constraint Satisfaction Problems. In: 9th International Joint Conference on Automated Reasoning, {IJCAR} 2018 (2018), S. 263–278

Bodirsky, Manuel; Mottet, Antoine: A Dichotomy for First-Order Reducts of Unary Structures. In: Logical Methods in Computer Science 14 (2018), Nr. 2

Bodirsky, Manuel; Mamino, Marcello; Viola, Caterina: Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains. In: Accepted for publication in the proceedings of CSL (2018)

Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine: The Complexity of Disjunctive Linear Diophantine Constraints. In: 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool UK (2018), S. 33:1–33:16

Bodirsky, Manuel: Finite Relation Algebras with Normal Representations. In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings (2018), S. 3–17

Bodirsky, Manuel; Evans, David; Kompatscher, Michael; Pinsker, Michael: A counterexample to the reconstruction of $\omega$-categorical structures from their endomorphism monoids. In: Israel Journal of Mathematics 224 (2018), Nr. 1, S. 57–82

Bodirsky, Manuel; Bradley-Williams, David; Pinsker, Michael; Pongracz, Andras: The universal homogeneous binary tree. In: J. Log. Comput. 28 (2018), Nr. 1, S. 133–163

Bodirsky, Manuel; Mamino, Marcello: Tropically Convex Constraint Satisfaction. In: Theory of Computing Systems 62 (2018), Nr. 3, S. 481–509

Bodirsky, Manuel; Jonsson, Peter; Martin, Barnaby; Mottet, Antoine: Classification transfer for qualitative reasoning problems. In: IJCAI-ECAI, Stockholm (2018)

Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine: Discrete Temporal Constraint Satisfaction Problems. In: Journal of the ACM 65 (2018), Nr. 2, S. 9:1–9:41

Bodirsky, Manuel; Greiner, Johannes: Complexity of Combinations of Qualitative Constraint Satisfaction Problems. In: 9th International Joint Conference on Automated Reasoning, {IJCAR} 2018 (2018), S. 263–278

Bodirsky, Manuel; Madelaine, Florent; Mottet, Antoine: A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP. In: Proceedings of the Symposium on Logic in Computer Science -- LICS'18 (2018), S. 105–114

Lehtonen, ; Pöschel, Erkko;; Waldhauser, Reinhard;; Tamás,, : Reflection-closed varieties of multisorted algebras and minor identities. In: Algebra Universalis 79 (2018), Nr. 3

Couceiro, ; Lehtonen, Miguel;; Erkko,, : Majors of functions. In: Order 35 (2018), Nr. 2

Lehtonen, ; Pöschel, Erkko;; Waldhauser, Reinhard;; Tamás,, : Reflections on and of minor-closed classes of multisorted operations. In: Algebra Universalis 79 (2018), Nr. 3

Mühle, Henri; Ripoll, Vivien: Connectivity Properties of Factorization Posets in Generated Groups. In: Proceedings of the 30th International Conference on Formal Power Series and Algebraic Combinatorics, Hanover, NH (USA) (2018), S. 56:1–56:12

Mühle, Henri: Two Posets of Noncrossing Partitions coming from Undesired Parking Spaces. In: Revista Colombiana de Matem{\'a}ticas 52 (2018), Nr. 1, S. 65–86

Mühle, Henri: On the Lattice Property of Shard Orders. In: Proceedings of the 30th International Conference on Formal Power Series and Algebraic Combinatorics, Hanover, NH (USA) (2018), S. 4:1–4:12

Lehtonen, ; Waldhauser, Erkko;; Tamás,, : Posets of minors of functions in multiple-valued logic. In: 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL 2017) (2017), S. 43–48

Lehtonen, ; Pöschel, Erkko;; Reinhard,, : Permutation groups, pattern involvement, and Galois connections. In: Acta Sci. Math. (Szeged) 83 (2017), Nr. 3-4, S. 355–375

Mühle, Henri; Nadeau, Philippe: The Alternating Group generated by $3$-Cycles. In: Proceedings of the 29th International Conference on Formal Power Series and Algebraic Combinatorics, London (UK) (2017), S. 36:1–36:12

Mühle, Henri: Two Posets of Noncrossing Partitions. In: Proceedings of the European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17), Vienna (Austria) (2017), S. 885–891

Mamino, Manuel Bodirsky and Marcello: Constraint Satisfaction Problems over Numeric Domains. In: The Constraint Satisfaction Problem: Complexity and Approximability (2017), S. 79–111

Bodirsky, Manuel; Mamino, Marcello: Tropically Convex Constraint Satisfaction. In: Theory of Computing Systems (2017), S. 1–29

Jonsson, Manuel Bodirsky and Peter: A Model-Theoretic View on Qualitative Constraint Reasoning. In: J. Artif. Intell. Res. 58 (2017), S. 339–385

Pham, Manuel Bodirsky and Peter Jonsson and Van Trung: The Complexity of Phylogeny Constraint Satisfaction Problems. In: ACM} Trans. Comput. Log. 18 (2017), Nr. 3, S. 23:1–23:42

Bodirsky, Manuel; Schneider, Friedrich Martin: A topological characterisation of endomorphism monoids of countable structures. In: Algebra Universalis 77 (2017), Nr. 3, S. 251–269

Bodirsky, Manuel; Pinsker, Michael; Pongr\'acz, Andr\'as: Reconstructing the topology of clones. In: Trans. Amer. Math. Soc. 369 (2017), Nr. 5, S. 3707–3740

Greiner, Johannes: Generating Clones with Conservative Near-Unanimity Operation. In: Multiple-Valued Logic and Soft Computing 26 (2016), Nr. 3-5, S. 515–524

Edmundo, Mario J.; Mamino, Marcello; Prelli, Luca: On definably proper maps. In: Fund. Math. 233 (2016), Nr. 1, S. 1–36

Mamino, Marcello; Viglietta, Giovanni: Square Formation by Asynchronous Oblivious Robots. In: CoRR abs/1605.06093 (2016)

Lagerkvist, V.; Roy, B.: A Preliminary Investigation of Satisfiability Problems Not Harder than 1-in-3-SAT. In: Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016) 58 (2016), S. 64:1–64:14

Couceiro, Miguel; Lehtonen, Erkko: On the arity gap of finite functions: results and applications. In: J. Mult.-Valued Logic Soft Comput. 27 (2016), Nr. 2-3, S. 193–207

Lehtonen, Erkko: On functions with a unique identification minor. In: Order 33 (2016), Nr. 1, S. 71–80

Bodirsky, Manuel; Pinsker, Michael: Canonical Functions: a proof via topological dynamics. In: CoRR abs/1610.09660 (2016)

Bodirsky, Manuel; Mamino, Marcello: Max-Closed Semilinear Constraint Satisfaction. In: Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, (CSR) 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings (2016), S. 88–101

Bodirsky, Manuel; Jonsson, Peter; Van-Pham, Trung: The reducts of the homogeneous binary branching {$C$}-relation. In: J. Symb. Log. 81 (2016), Nr. 4, S. 1255–1297

Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael: Distance constraint satisfaction problems. In: Inf. Comput. 247 (2016), S. 87–105

Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongracz, Andras: Constraint Satisfaction Problems for Reducts of Homogeneous Graphs. In: 43rd International Colloquium on Automata, Languages, and Programming, (ICALP) 2016, July 11-15, 2016, Rome, Italy (2016), S. 119:1–119:14

Bodirsky, Manuel; Macpherson, Dugald: Reducts of Structures and Maximal-Closed Permutation Groups. In: J. Symb. Log. 81 (2016), Nr. 3, S. 1087–1114

Bodirsky, Manuel; Mottet, Antoine: Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction. In: Proceedings of the 31st Annual (ACM/IEEE) Symposium on Logic in Computer Science, (LICS) '16, New York, NY, USA, July 5-8, 2016 (2016), S. 623–632

Lehtonen, Erkko: Reconstructing permutations from identification minors. In: Electron. J. Combin. 22 (2015), Nr. 4, S. 43–48

Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine: Constraint Satisfaction Problems over the Integers with Successor. In: ICALP (1) 9134 (2015), S. 256–267

Bodirsky, Manuel; Jonsson, Peter; Van Pham, Trung: The Complexity of Phylogeny Constraint Satisfaction. In: CoRR abs/1503.07310 (2015)

Bodirsky, Manuel; Mamino, Marcello: Max-Closed Semilinear Constraint Satisfaction. In: CoRR abs/1506.04184 (2015)

Bodirsky, Manuel; Michael, Pinsker: Schaefer's Theorem for Graphs. In: J. {ACM 62 (2015), Nr. 3

Bodirsky, Manuel; Pinsker, Michael; Pongracz, Andras: The 42 reducts of the random ordered graph. In: Proc. Lond. Math. Soc. (3) 111 (2015), Nr. 3, S. 591–632

Bodirsky, Manuel; Pinsker, Michael: Topological Birkhoff. In: Trans. Amer. Math. Soc. 367 (2015), Nr. 4, S. 2527–2549

Bodirsky, Manuel: The Complexity of Constraint Satisfaction Problems (Invited Talk). In: STACS 30 (2015), S. 2–9

Bodirsky, M.; Evans, D.; Kompatscher, M.; Pinsker, M.: A counterexample to the reconstruction of \omega-categorical structures from their endomorphism monoids. In: ArXiv e-prints (2015)

Bodirsky, M.: Ramsey Classes: Examples and Constructions. In: ArXiv e-prints (2015)

Bodirsky, M.; Bradley-Williams, D.; Pinsker, M.; Pongracz, A.: The universal homogeneous binary tree. In: ArXiv e-prints (2014)

Bodirsky, Manuel: New Ramsey Classes from Old. In: The Electronic Journal of Combinatorics 21 (2014), Nr. 2

Diese Informationen werden vom Vorgängersystem FIS bereitgestellt.

Manuel Bodirsky

Last modified: Jun 25, 2022