Autor der Publikation

A Complexity Dichotomy for Poset Constraint Satisfaction.

, und . STACS, Volume 66 von LIPIcs, Seite 47:1-47:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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