Combining Partial Evaluation and Constraint Solving: A new approach to Constraint Logic Programming.
Jin-Kao HaoJean-Jacques ChabrierPublished in: SPLT (1990)
Keyphrases
- temporal constraints
- constraint solving
- constraint logic programming
- constraint propagation
- partial evaluation
- temporal reasoning
- constraint satisfaction problems
- explanation based generalization
- constraint solver
- constraint satisfaction
- finite domain
- temporal information
- arc consistency
- constraint programming
- domain theory
- tree search
- higher order
- general purpose
- relational databases
- high level
- databases