Publications

9 results for Peter J. Stuckey

Cutting the size of compressed path databases with wildcards and redundant symbols
- - Mattia Chiari
  - Shizhe Zhao
  - et al.
- 2019
- ICAPS 2019
Automated design of search with composability
- - Ashish Sabharwal
  - Horst Samulowitz
  - et al.
- 2013
- AAAI 2013
Search combinators
- - Tom Schrijvers
  - Guido Tack
  - et al.
- 2012
- Constraints
On inductive inference of cyclic structures
- - Michael J. Maher
  - Peter J. Stuckey
- 1995
- Ann. Math. Artif. Intell.
Projecting CLP R constraints
- - Joxan Jaffar
  - Michael J. Maher
  - et al.
- 1993
- New Generation Computing
3 R's of optimizing constraint logic programs: Refinement, removal and reordering
- - K. Marriott
  - Peter J. Stuckey
- 1993
- POPL 1993
An Abstract Machine for CLP(R)
- - Joxan Jaffar
  - Spiro Michaylov
  - et al.
- 1992
- ACM SIGPLAN Notices
The CLP(R) Language and System
- - Joxan Jaffar
  - Spiro Michaylov
  - et al.
- 1992
- ACM Transactions on Programming Languages and Systems (TOPLAS)
The CLP(R) language and system: An overview
- - Joxan Jaffar
  - Spiro Michaylov
  - et al.
- 1991
- COMPCON 1991