Michael Kompatscher

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 28

Top Topics

Constraint Language

Expressive Power

Constraint Satisfaction

Top Venues

Int. J. Algebra Comput.

Publications

Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski
Circuit Equivalence in 2-Nilpotent Algebras. STACS (2024)
Michael Kompatscher
The Subpower Membership Problem of 2-Nilpotent Algebras. STACS (2024)
Michael Kompatscher
The subpower membership problem of 2-nilpotent algebras. CoRR (2023)
Jakub Bulín, Michael Kompatscher
Short definitions in constraint languages. CoRR (2023)
Jakub Bulín, Michael Kompatscher
Short Definitions in Constraint Languages. MFCS (2023)
Alexandr Kazda, Michael Kompatscher
Local-global property for G-invariant terms. Int. J. Algebra Comput. 32 (6) (2022)
Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems. SIAM J. Comput. 51 (2) (2022)
Michael Kompatscher
CC-circuits and the expressive power of nilpotent algebras. Log. Methods Comput. Sci. 18 (2) (2022)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Trung Van Pham, Michael Pinsker
Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures. J. Math. Log. 21 (2) (2021)
Michael Kompatscher
CSAT and CEQV for nilpotent Maltsev algebras of Fitting length > 2. CoRR (2021)
Andrés Aranda, David Bradley-Williams, Eng Keat Hng, Jan Hubicka, Miltiadis Karamanlis, Michael Kompatscher, Matej Konecný, Micheal Pawliuk
Completing graphs to metric spaces. Contributions Discret. Math. 16 (2) (2021)
Alexandr Kazda, Michael Kompatscher
The local-global property for G-invariant terms. CoRR (2021)
Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
Hrushovski's Encoding and ω-Categorical CSP Monsters. ICALP (2020)
Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems. CoRR (2020)
Michael Kompatscher
CC-circuits and the expressive power of nilpotent algebras. CoRR (2019)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Van Trung Pham, Michael Pinsker
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures. J. Math. Log. 19 (2) (2019)
Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski
Circuit equivalence in 2-nilpotent algebras. CoRR (2019)
Michael Kompatscher, Trung Van Pham
A Complexity Dichotomy for Poset Constraint Satisfaction. FLAP 5 (8) (2018)
Jan Hubicka, Michael Kompatscher, Matej Konecný
Forbidden cycles in metrically homogeneous graphs. CoRR (2018)
Lovkush Agarwal, Michael Kompatscher
${2^{{\aleph _0}}}$ Pairwise nonisomorphic Maximal-closed Subgroups of Sym(ℕ) via the Classification of the Reducts of the Henson digraphs. J. Symb. Log. 83 (2) (2018)
Michael Kompatscher
The equation solvability problem over supernilpotent algebras with Mal'cev term. Int. J. Algebra Comput. 28 (6) (2018)
Andrés Aranda, David Bradley-Williams, Eng Keat Hng, Jan Hubicka, Miltiadis Karamanlis, Michael Kompatscher, Matej Konecný, Micheal Pawliuk
Completing graphs to metric spaces. CoRR (2017)
Michael Kompatscher, Van Trung Pham
A Complexity Dichotomy for Poset Constraint Satisfaction. STACS (2017)
Andrés Aranda, David Bradley-Williams, Jan Hubicka, Miltiadis Karamanlis, Michael Kompatscher, Matej Konecný, Micheal Pawliuk
Ramsey expansions of metrically homogeneous graphs. CoRR (2017)
Andrés Aranda, David Bradley-Williams, Eng Keat Hng, Jan Hubicka, Miltiadis Karamanlis, Michael Kompatscher, Matej Konecný, Micheal Pawliuk
Completing graphs to metric spaces. Electron. Notes Discret. Math. 61 (2017)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Trung Van Pham, Michael Pinsker
The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems. LICS (2017)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Michael Pinsker, Van Trung Pham
Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures. CoRR (2016)
Michael Kompatscher, Van Trung Pham
A complexity dichotomy for poset constraint satisfaction. CoRR (2016)