( en | de | ru )

 

Disambiguation of "Stuckey, Peter J."

Author of the publication

copydeleteadd this publication to your clipboard
Fourier Elimination for Compiling Constraint Hierarchies.

, , and . Constraints An Int. J., 7 (2): 199-219 (2002)

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 Barth

Peter J Deneffe

Peter J Michael

 

Other publications of authors with the same name

Interface Logic Programming., , and . Aust. Comput. J., 21 (2): 49-55 (1989)Structural search and retrieval using a tableau representation of protein folding patterns., , and . Bioinform., 24 (5): 645-651 (2008)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..Eliminating Negation from Normal Logic Programs., and . ALP, volume 463 of Lecture Notes in Computer Science, page 217-231. Springer, (1990)Generalized Modularity for Community Detection., , , , and . ECML/PKDD (2), volume 9285 of Lecture Notes in Computer Science, page 655-670. Springer, (2015)Exact Approaches to the Multi-agent Collective Construction Problem., , , and . CP, volume 12333 of Lecture Notes in Computer Science, page 743-758. Springer, (2020)The Argmax Constraint., and . CP, volume 12333 of Lecture Notes in Computer Science, page 323-337. Springer, (2020)Fragment-Based Planning Using Column Generation., , , and . ICAPS, AAAI, (2014)Solving Set Constraint Satisfaction Problems using ROBDDs., , and . J. Artif. Intell. Res., (2005)Herbrand Constraint Solving in HAL., , , , and . ICLP, page 260-274. MIT Press, (1999)