Author of the publication

The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems.

, , , , and . LICS, page 1-12. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems., , , , and . LICS, page 1-12. IEEE Computer Society, (2017)A Complexity Dichotomy for Poset Constraint Satisfaction., and . STACS, volume 66 of LIPIcs, page 47:1-47:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems., , , , and . CoRR, (2020)Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures., , , , and . J. Math. Log., 21 (2): 2192001:1 (2021)Hrushovski's Encoding and ω-Categorical CSP Monsters., , , , and . ICALP, volume 168 of LIPIcs, page 131:1-131:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Short Definitions in Constraint Languages., and . MFCS, volume 272 of LIPIcs, page 28:1-28:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)The Subpower Membership Problem of 2-Nilpotent Algebras.. STACS, volume 289 of LIPIcs, page 46:1-46:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)The local-global property for G-invariant terms., and . CoRR, (2021)CC-circuits and the expressive power of nilpotent algebras.. Log. Methods Comput. Sci., (2022)CSAT and CEQV for nilpotent Maltsev algebras of Fitting length > 2.. CoRR, (2021)