Autor der Publikation

The Complexity of Minimal Inference Problem for Conservative Constraint Languages.

. ACM Trans. Comput. Log., 20 (2): 8:1-8:35 (2019)

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 Complexity of Minimal Inference Problem for Conservative Constraint Languages.. ACM Trans. Comput. Log., 20 (2): 8:1-8:35 (2019)Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction., und . TIME, Seite 99-106. IEEE Computer Society, (2012)Syntactically Characterizing Local-to-Global Consistency in ORD-Horn.. CP, Volume 7514 von Lecture Notes in Computer Science, Seite 704-719. Springer, (2012)Quantified Positive Temporal Constraints., und . CSL, Volume 5213 von Lecture Notes in Computer Science, Seite 94-108. Springer, (2008)Tractability Frontier for Dually-Closed Temporal Quantified Constraint Satisfaction Problems.. CoRR, (2021)Identifying Tractable Quantified Temporal Constraints within Ord-Horn., , und . CoRR, (2024)Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems.. MFCS (1), Volume 8634 von Lecture Notes in Computer Science, Seite 535-546. Springer, (2014)The complete classification for quantified equality constraints., , und . SODA, Seite 2746-2760. SIAM, (2023)Smooth Approximations and Relational Width Collapses., , , und . ICALP, Volume 198 von LIPIcs, Seite 138:1-138:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices., und . ISMVL, Seite 21. IEEE Computer Society, (2007)