CLP(Rlin) Revised.

Philippe Refalo Pascal Van Hentenryck

Published in: JICSLP (1996)

Keyphrases

constraint logic programming
constraint programming
constraint solving
neural network
upper bound
constraint propagation
control system
logic programming language