Automated design of search with composability
- Ashish Sabharwal
- Horst Samulowitz
- et al.
- 2013
- AAAI 2013
Publications
Date
Featured collections
Popular topics
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
3 R's of optimizing constraint logic programs: Refinement, removal and reordering
- K. Marriott
- Peter J. Stuckey
- 1993
- POPL 1993
The CLP(R) language and system: An overview
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1991
- COMPCON 1991
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
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)