Follow
Michael Kompatscher
Michael Kompatscher
Department of Algebra, Charles University Prague
Verified email at karlin.mff.cuni.cz - Homepage
Title
Cited by
Cited by
Year
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
462017
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
322019
A complexity dichotomy for poset constraint satisfaction
M Kompatscher, TV Pham
Journal of Applied Logic 5 (8), 1663-1696, 2018
322018
Ramsey expansions of metrically homogeneous graphs
A Aranda, D Bradley-Williams, J Hubička, M Karamanlis, M Kompatscher, ...
arXiv preprint arXiv:1707.02612, 2017
252017
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
182018
Ramsey expansions of metrically homogeneous graphs. Submitted
A Aranda, D Bradley-Williams, J Hubicka, M Karamanlis, M Kompatscher, ...
arXiv preprint arXiv:1707.02612, 2017
142017
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
132020
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
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
11*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
102022
Notes on extended equation solvability and identity checking for groups
M Kompatscher
Acta Mathematica Hungarica 159 (1), 246-256, 2019
72019
Forbidden cycles in metrically homogeneous graphs
J Hubička, M Kompatscher, M Konečný
arXiv preprint arXiv:1808.05177, 2018
7*2018
CC-circuits and the expressive power of nilpotent algebras
M Kompatscher
Logical Methods in Computer Science 18, 2022
62022
Circuit equivalence in 2-nilpotent algebras
P Kawałek, M Kompatscher, J Krzaczkowski
arXiv preprint arXiv:1909.12256, 2019
52019
CSAT and CEQV for nilpotent Maltsev algebras of Fitting length> 2
M Kompatscher
arXiv preprint arXiv:2105.00689, 2021
22021
Short definitions in constraint languages
J Bulín, M Kompatscher
arXiv preprint arXiv:2305.01984, 2023
12023
Gegenbeispiele zu drei Vermutungen über Kategorizität
M Kompatscher
TU Wien, 2014
12014
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
The system can't perform the operation now. Try again later.
Articles 1–20