CLP* and Constraint Abstraction.

Timothy J. Hickey

Published in: POPL (1989)

Keyphrases

constraint solving
constraint logic programming
global constraints
high level
real world
artificial intelligence
social networks
heuristic search
constraint networks
constrained minimization