Autor der Publikation

Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems.

, , und . AAAI/IAAI, Seite 620-626. AAAI Press / The MIT Press, (2002)

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

Schema Mappings: A Case of Logical Dynamics in Database Theory., und . Johan van Benthem on Logic and Information Dynamics, Springer, (2014)06401 Executive Summary - Complexity of Constraints., , und . Complexity of Constraints, Volume 06401 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series), , , , , , , und . Springer, (Juni 2007)Data exchange: semantics and query answering, , , und . Theor. Comput. Sci., 336 (1): 89-124 (2005)The complexity of data exchange., , und . PODS, Seite 30-39. ACM, (2006)Answering aggregate queries in data exchange., und . PODS, Seite 129-138. ACM, (2008)Reverse data exchange: coping with nulls., , , und . PODS, Seite 23-32. ACM, (2009)Local transformations and conjunctive-query equivalence., und . PODS, Seite 179-190. ACM, (2012)On Asymptotic Probability of Inductive Queries and Their Decision Problem.. Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 153-166. Springer, (1985)On the Complexity of Model Checking and Inference in Minimal Models., und . LPNMR, Volume 2173 von Lecture Notes in Computer Science, Seite 42-53. Springer, (2001)