The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems L Barto, M Kompatscher, M Olšák, T Van Pham, M Pinsker 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 48 | 2017 |
A complexity dichotomy for poset constraint satisfaction M Kompatscher, TV Pham Journal of Applied Logic 5 (8), 1663-1696, 2018 | 33 | 2018 |
Equations in oligomorphic clones and the constraint satisfaction problem for -categorical structures L Barto, M Kompatscher, M Olšák, VP Trung, M Pinsker Journal of Mathematical Logic 19 (02), 1950010, 2019 | 32 | 2019 |
Ramsey expansions of metrically homogeneous graphs A Aranda, D Bradley-Williams, J Hubička, M Karamanlis, M Kompatscher, ... arXiv preprint arXiv:1707.02612, 2017 | 24 | 2017 |
A counterexample to the reconstruction of ω-categorical structures from their endomorphism monoid M Bodirsky, D Evans, M Kompatscher, M Pinsker Israel Journal of Mathematics 224 (1), 57-82, 2018 | 18 | 2018 |
Ramsey expansions of metrically homogeneous graphs. Submitted A Aranda, D Bradley-Williams, J Hubicka, M Karamanlis, M Kompatscher, ... arXiv preprint arXiv:1707.02612, 2017 | 14 | 2017 |
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 | 13 | 2020 |
pairwise nonisomorphic maximal-closed subgroups of Sym(N) via the classification of the reducts of the Henson digraphs L Agarwal, M Kompatscher Journal of Symbolic Logic 83 (2), 395-415, 2018 | 13* | 2018 |
The equation solvability problem over supernilpotent algebras with Mal’cev term M Kompatscher International Journal of Algebra and Computation 28 (06), 1005-1015, 2018 | 12* | 2018 |
Completing graphs to metric spaces A Aranda, D Bradley-Williams, EK Hng, J Hubička, M Karamanlis, ... Electronic Notes in Discrete Mathematics 61, 53-60, 2017 | 11* | 2017 |
When symmetries are not enough: A hierarchy of hard constraint satisfaction problems P Gillibert, J Jonusas, M Kompatscher, A Mottet, M Pinsker SIAM journal on computing 51 (2), 175-213, 2022 | 10 | 2022 |
CC-circuits and the expressive power of nilpotent algebras M Kompatscher Logical Methods in Computer Science 18, 2022 | 8 | 2022 |
Notes on extended equation solvability and identity checking for groups M Kompatscher Acta Mathematica Hungarica 159 (1), 246-256, 2019 | 7 | 2019 |
Forbidden cycles in metrically homogeneous graphs J Hubička, M Kompatscher, M Konečný arXiv preprint arXiv:1808.05177, 2018 | 7* | 2018 |
Circuit equivalence in 2-nilpotent algebras P Kawałek, M Kompatscher, J Krzaczkowski arXiv preprint arXiv:1909.12256, 2019 | 5 | 2019 |
CSAT and CEQV for nilpotent Maltsev algebras of Fitting length> 2 M Kompatscher arXiv preprint arXiv:2105.00689, 2021 | 3 | 2021 |
Short definitions in constraint languages J Bulín, M Kompatscher arXiv preprint arXiv:2305.01984, 2023 | 1 | 2023 |
Gegenbeispiele zu drei Vermutungen über Kategorizität M Kompatscher TU Wien, 2014 | 1 | 2014 |
The subpower membership problem of 2-nilpotent algebras M Kompatscher arXiv preprint arXiv:2309.16549, 2023 | | 2023 |
Local–global property for -invariant terms A Kazda, M Kompatscher International Journal of Algebra and Computation 32 (06), 1209-1231, 2022 | | 2022 |