Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs.

Henning Christiansen Maja H. Kirkeby

Published in: CoRR (2018)

Keyphrases

constraint solver
constraint handling rules
constraint solving
constraint programming
linear constraints
constraint propagation
constraint satisfaction problems
constraint satisfaction
real numbers
arc consistency algorithm
constraint solvers
neural network
path consistency
search algorithm
special case