On Termination of Binary CLP Programs.

Alexander Serebrenik Frédéric Mesnard

Published in: LOPSTR (2004)

Keyphrases

constraint logic programming
constraint programming
decision trees
similarity measure
bayesian networks
non binary
term rewriting
evolutionary algorithm
hamming distance
programming environment
binary data
constraint solving
automatic programming