|
14
|
To the Gates of HAL: a HAL tutorial
– Maria Garcia de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
|
|
20
|
When Do Bounds and Domain Propagation Lead to the Same Search Space
– Christian Schulte, Peter J. Stuckey
- 2001
|
|
|
Building Constraint Solvers with HAL
– María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
- 2001
|
|
4
|
Making Mercury Programs Tail Recursive
– Peter Ross, David Overton, Zoltan Somogyi
- 1999
|
|
6
|
Paving the Roadmaps: Enabling and Integration Technologies
– Danny De Schreye, Manuel Hermenegildo, Luis Moniz Pereira
|
|
|
Constraint Programming
– The Constraint Programming Working Group
- 1996
|
|
|
Constraint Programming
– The Constraint Programming
|
|
2
|
Mode Checking in HAL
– María García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott, Kim
|
|
704
|
Constraint Logic Programming: A Survey
– Joxan Jaffar, Michael J. Maher
|
|
32
|
Flexible access control policy specification with constraint logic programming
– Steve Barker, Peter J. Stuckey
- 2003
|
|
|
The Systematic Generation Of Channelled Models In Constraint Satisfaction
– Bernadette Martínez Hernández
|
|
5
|
Promoting Constraints to First-Class Status
– Tobias Müller
- 2000
|
|
|
A Generic Object-Oriented Incremental Analyser for Constraint Logic Programs
– Andrew D. Kelly , Kim Marriott, Harald Søndergaard, Peter J. Stuckey
- 1996
|
|
14
|
Run time type information in Mercury
– Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery
- 1999
|
|
2
|
Constraint Programming: Strategic Directions
– Pascal van Hentenryck, Vijay Saraswat
- 1997
|
|
4
|
TCLP: overloading, subtyping and parametric polymorphism made practical for constraint logic programming
– Emmanuel Coquery, François Fages, Projet Contraintes Inria-rocquencourt
|
|
25
|
Abstract multiple Specialization and its application to program parallelization
– German Puebla, Manuel Hermenegildo
- 1999
|
|
3
|
A Generic Software Framework For Finite Domain Constraint Programming
– Ka Boon Kevin Ng
- 2001
|
|
2
|
Automatic Generation of Test Inputs for Mercury
– François Degrave, Tom Schrijvers, Wim Vanhoof
|
