Follow
Michael Kompatscher
Michael Kompatscher
Department of Algebra, Charles University Prague
Verified email at logic.at - 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
372017
A complexity dichotomy for poset constraint satisfaction
M Kompatscher, TV Pham
Journal of Applied Logic 5 (8), 1663-1696, 2018
302018
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
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
232019
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
152018
The equation solvability problem over supernilpotent algebras with Mal’cev term
M Kompatscher
International Journal of Algebra and Computation 28 (06), 1005-1015, 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
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
10*2018
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
82020
Forbidden cycles in metrically homogeneous graphs
J Hubička, M Kompatscher, M Konečný
arXiv preprint arXiv:1808.05177, 2018
7*2018
Notes on extended equation solvability and identity checking for groups
M Kompatscher
Acta Mathematica Hungarica 159 (1), 246-256, 2019
62019
CC-circuits and the expressive power of nilpotent algebras
M Kompatscher
Logical Methods in Computer Science 18, 2022
52022
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
42022
Circuit equivalence in 2-nilpotent algebras
P Kawałek, M Kompatscher, J Krzaczkowski
arXiv preprint arXiv:1909.12256, 2019
42019
CSAT and CEQV for nilpotent Maltsev algebras of Fitting length> 2
M Kompatscher
arXiv preprint arXiv:2105.00689, 2021
22021
Gegenbeispiele zu drei Vermutungen über Kategorizität
M Kompatscher
TU Wien, 2014
12014
Local–global property for -invariant terms
A Kazda, M Kompatscher
International Journal of Algebra and Computation 32 (06), 1209-1231, 2022
2022
The local-global property for G-invariant terms
A Kazda, M Kompatscher
arXiv preprint arXiv:2109.02065, 2021
2021
Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for -categorical structures
L Barto, M Kompatscher, M Olšák, TV Pham, M Pinsker
Journal of Mathematical Logic 21 (02), 2192001, 2021
2021
Hrushovski's encoding and omega-categorical CSP monsters, pandemiebedingt on-line
M Pinsker, P Gillibert, J Jonusas, M Kompatscher, A Mottet
Proceedings of the 47th International Colloquium on Automata, Languages and …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20