An Optimizing Compiler for CLP(R).

Andrew D. Kelly Andrew D. Macdonald Kim Marriott Harald Søndergaard Peter J. Stuckey Roland H. C. Yap

Published in: CP (1995)

Keyphrases

highly optimized
general purpose
constraint logic programming
real world
machine learning
database
decision making
constraint propagation
artificial intelligence
evolutionary algorithm
constraint programming
constraint solving