( en | de | ru )

 

Disambiguation of "Stuckey, Peter J."

Author of the publication

copydeleteadd this publication to your clipboard
Weighted Spanning Tree Constraint with Explanations.

, , , and . CPAIOR, volume 9676 of Lecture Notes in Computer Science, page 98-107. Springer, (2016)

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.

Marc Stuckey

Peter J Schmidt

Peter J Deneffe

Peter J Barth

Peter J Michael

 

Other publications of authors with the same name

On Meta-Programming in CLR(R)., , , and . NACLP, page 52-66. MIT Press, (1989)Optimization of Logic Programs with Dynamic Scheduling., , , and . ICLP, page 93-107. MIT Press, (1997)Analysis Based Constraint Query Optimization., and . ICLP, page 666-682. MIT Press, (1993)Herbrand Constraint Solving in HAL., , , , and . ICLP, page 260-274. MIT Press, (1999)Solving Set Constraint Satisfaction Problems using ROBDDs., , and . J. Artif. Intell. Res., (2005)Flexible access control policy specification with constraint logic programming., and . ACM Trans. Inf. Syst. Secur., 6 (4): 501-546 (2003)Structural search and retrieval using a tableau representation of protein folding patterns., , and . Bioinform., 24 (5): 645-651 (2008)Eliminating Negation from Normal Logic Programs., and . ALP, volume 463 of Lecture Notes in Computer Science, page 217-231. Springer, (1990)Iterative-Deepening Conflict-Based Search., , , , , , and . IJCAI, page 4084-4090. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Exact Approaches to the Multi-agent Collective Construction Problem., , , and . CP, volume 12333 of Lecture Notes in Computer Science, page 743-758. Springer, (2020)