Autor der Publikation

Relaxations and Explanations for Quantified Constraint Satisfaction Problems.

, und . CP, Volume 4204 von Lecture Notes in Computer Science, Seite 690-694. Springer, (2006)

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

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