Guard Simplification in CHR programs.

Jon Sneyers Tom Schrijvers Bart Demoen

Published in: W(C)LP (2005)

Keyphrases

constraint handling rules
preprocessing
fixpoint
real time
multiresolution
answer sets
databases
real world
decision trees
high level
automatic programming
control structures
free software