Author of the publication

09441 Executive Summary - The Constraint Satisfaction Problem: Complexity and Approximability.

, , , and . The Constraint Satisfaction Problem: Complexity and Approximability, volume 09441 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)

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

Schema Mappings: A Case of Logical Dynamics in Database Theory., and . Johan van Benthem on Logic and Information Dynamics, Springer, (2014)06401 Executive Summary - Complexity of Constraints., , and . Complexity of Constraints, volume 06401 of 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), , , , , , , and . Springer, (June 2007)Data exchange: semantics and query answering, , , and . Theor. Comput. Sci., 336 (1): 89-124 (2005)The complexity of data exchange., , and . PODS, page 30-39. ACM, (2006)Answering aggregate queries in data exchange., and . PODS, page 129-138. ACM, (2008)Reverse data exchange: coping with nulls., , , and . PODS, page 23-32. ACM, (2009)Local transformations and conjunctive-query equivalence., and . PODS, page 179-190. ACM, (2012)On Asymptotic Probability of Inductive Queries and Their Decision Problem.. Logic of Programs, volume 193 of Lecture Notes in Computer Science, page 153-166. Springer, (1985)On the Complexity of Model Checking and Inference in Minimal Models., and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 42-53. Springer, (2001)