Optimizing Compilation of CLP(R).

Andrew D. Kelly Kim Marriott Andrew D. Macdonald Peter J. Stuckey Roland H. C. Yap

Published in: ACM Trans. Program. Lang. Syst. (1998)

Keyphrases

constraint logic programming
constraint programming
databases
information systems
object recognition
search engine
software development
constraint solving