| A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP M Bodirsky, F Madelaine, A Mottet Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 40 | 2018 |
| A Dichotomy for First-Order Reducts of Unary Structures A Mottet, M Bodirsky Logical Methods in Computer Science 14, 2018 | 39* | 2018 |
| Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction M Bodirsky, A Mottet Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 38 | 2016 |
| Discrete Temporal Constraint Satisfaction Problems M Bodirsky, B Martin, A Mottet Journal of the ACM 65 (2), 2018 | 31 | 2018 |
| Smooth approximations and CSPs over finitely bounded homogeneous structures A Mottet, M Pinsker Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 30 | 2022 |
| Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) M Bodirsky, A Mottet, M Olšák, J Opršal, M Pinsker, R Willard 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019 | 24 | 2019 |
| A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP M Bodirsky, F Madelaine, A Mottet SIAM Journal on Computing 50 (4), 1359-1409, 2021 | 22 | 2021 |
| Constraint satisfaction problems over the integers with successor M Bodirsky, B Martin, A Mottet Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015 | 21 | 2015 |
| Omega-categorical structures avoiding height 1 identities M Bodirsky, A Mottet, M Olšák, J Opršal, M Pinsker, R Willard Transactions of the American Mathematical Society, 2020 | 19* | 2020 |
| Hrushovski’s Encoding and ω-Categorical CSP Monsters P Gillibert, J Jonušas, M Kompatscher, A Mottet, M Pinsker 47th International Colloquium on Automata, Languages, and Programming (ICALP …, 2020 | 18 | 2020 |
| The Containment Problem for Unambiguous Register Automata A Mottet, K Quaas STACS 2019, 2019 | 18 | 2019 |
| Cores over Ramsey structures A Mottet, M Pinsker The Journal of Symbolic Logic 86 (1), 352-361, 2021 | 17 | 2021 |
| When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems P Gillibert, J Jonušas, M Kompatscher, A Mottet, M Pinsker SIAM Journal on Computing 51 (2), 175-213, 2022 | 16 | 2022 |
| Smooth approximations and relational width collapses A Mottet, T Nagy, M Pinsker, M Wrona Dagstuhl: Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021 | 15 | 2021 |
| Distance constraint satisfaction problems M Bodirsky, V Dalmau, B Martin, A Mottet, M Pinsker Information and Computation 247, 87-105, 2015 | 15 | 2015 |
| Extensions of unification modulo ACUI F Baader, P Marantidis, A Mottet, A Okhotin Mathematical Structures in Computer Science, 1-30, 2019 | 14* | 2019 |
| An order out of nowhere: a new algorithm for infinite-domain CSPs A Mottet, T Nagy, M Pinsker arXiv preprint arXiv:2301.12977, 2023 | 13 | 2023 |
| Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing L Barto, B Bodor, M Kozik, A Mottet, M Pinsker 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023 | 9* | 2023 |
| Complexity classification transfer for CSPs via algebraic products M Bodirsky, P Jonsson, B Martin, A Mottet, Ž Semanišinová SIAM Journal on Computing 53 (5), 1293-1353, 2024 | 8 | 2024 |
| The complexity of disjunctive linear Diophantine constraints M Bodirsky, B Martin, M Mamino, A Mottet Mathematical Foundations of Computer Science, 2018 | 7 | 2018 |
Manuel BodirskyTU Dresden, Institut für AlgebraAdresă de e-mail confirmată pe tu-dresden.de
