| 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 |
Jan HubičkaCharles University, SUSE LINUX, Šechtl and Voseček Museum of Photography在 kam.mff.cuni.cz 的电子邮件经过验证
