Author of the publication

Relaxations and Explanations for Quantified Constraint Satisfaction Problems.

, and . CP, volume 4204 of Lecture Notes in Computer Science, page 690-694. Springer, (2006)

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

Relaxations and Explanations for Quantified Constraint Satisfaction Problems., and . CP, volume 4204 of Lecture Notes in Computer Science, page 690-694. Springer, (2006)Pastures: Towards Usable Security Policy Engineering., , , and . ARES, page 1052-1059. IEEE Computer Society, (2007)An Expressive Query Language for Product Recommender Systems., and . Artif. Intell. Rev., 18 (3-4): 269-307 (2002)Quantified Constraint Satisfaction Problems: From Relaxations to Explanations., and . IJCAI, page 74-79. (2007)An Iterative Powerdomain Construction., and . Functional Programming, page 41-55. Springer, (1989)Partial Orders and Indifference Relations: Being Purposefully Vague in Case-Based Retrieval., and . EWCBR, volume 1898 of Lecture Notes in Computer Science, page 74-85. Springer, (2000)Umpire: A Reference Implementation of the Condensed Graph Model., , and . PDPTA, page 1855-1861. CSREA Press, (2003)A Loop-Detecting Interpreter for Lazy, Higher-Order Programs., and . Functional Programming, page 85-101. Springer, (1992)Fast Abstract Interpretation Using Sequential Algorithms., and . WSA, volume 724 of Lecture Notes in Computer Science, page 45-59. Springer, (1993)Boosting Constraint Satisfaction Using Decision Trees., , and . ICTAI, page 646-651. IEEE Computer Society, (2004)