On termination of binary CLP programs.

Alexander Serebrenik Fred Mesnard

Published in: WLPE (2004)

Keyphrases

constraint logic programming
automatic programming
artificial intelligence
programming environment
non binary
source code
rewrite systems
real time
gray code
constraint propagation
constraint satisfaction problems
optimal solution
image sequences
knowledge base
information systems
information retrieval
data mining