Author of the publication

Phase Transitions of Bounded Satisfiability Problems.

, and . IJCAI, page 1187-1193. Morgan Kaufmann, (2003)

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

On the tractability and intractability of consistent conjunctive query answering., , and . EDBT/ICDT Ph.D. Workshop, page 38-44. ACM, (2011)Quasi-inverses of schema mappings., , , and . ACM Trans. Database Syst., 33 (2): 11:1-11:52 (2008)A Declarative Framework for Linking Entities., , , , and . ACM Trans. Database Syst., 41 (3): 17:1-17:38 (2016)Structural characterizations of schema-mapping languages., and . Commun. ACM, 53 (1): 101-110 (2010)Foreword., and . J. ACM, 51 (1): 1 (2004)The Decision Problem for the Probabilities of Higher-Order Properties, and . STOC, page 425-435. ACM, (1987)Phase Transitions of Bounded Satisfiability Problems., and . IJCAI, page 1187-1193. Morgan Kaufmann, (2003)Peer data exchange., , , and . ACM Trans. Database Syst., 31 (4): 1454-1498 (2006)Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics., , and . CP, volume 2470 of Lecture Notes in Computer Science, page 310-326. Springer, (2002)Generalized Satisfiability Problems via Operator Assignments., , and . FCT, volume 10472 of Lecture Notes in Computer Science, page 56-68. Springer, (2017)