Michael Kompatscher

Orcid: 0000-0002-0163-6604

Affiliations:
  • Charles University, Czech Republic
  • TU Wien, Vienna, Austria (former)


According to our database1, Michael Kompatscher authored at least 20 papers between 2017 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Clonoids over vector spaces.
CoRR, February, 2026

Ramsey expansions of metrically homogeneous graphs.
Eur. J. Comb., 2026

2025
Mal'cev clones over a three-element set up to minor-equivalence.
CoRR, August, 2025

2024
The Subpower Membership Problem of 2-Nilpotent Algebras.
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

Circuit Equivalence in 2-Nilpotent Algebras.
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023
Short Definitions in Constraint Languages.
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022
When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems.
SIAM J. Comput., 2022

CC-circuits and the expressive power of nilpotent algebras.
Log. Methods Comput. Sci., 2022

Local-global property for G-invariant terms.
Int. J. Algebra Comput., 2022

2021
Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.
J. Math. Log., 2021

CSAT and CEQV for nilpotent Maltsev algebras of Fitting length > 2.
CoRR, 2021

2020
Hrushovski's Encoding and ω-Categorical CSP Monsters.
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.
J. Math. Log., 2019

2018
${2^{{\aleph _0}}}$ Pairwise nonisomorphic Maximal-closed Subgroups of Sym(ℕ) via the Classification of the Reducts of the Henson digraphs.
J. Symb. Log., 2018

The equation solvability problem over supernilpotent algebras with Mal'cev term.
Int. J. Algebra Comput., 2018

A Complexity Dichotomy for Poset Constraint Satisfaction.
FLAP, 2018

Forbidden cycles in metrically homogeneous graphs.
CoRR, 2018

2017
Completing graphs to metric spaces.
Electron. Notes Discret. Math., 2017

A Complexity Dichotomy for Poset Constraint Satisfaction.
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017


  Loading...