Login / Signup
Automatic Implication Checking for CHR Constraints.
Tom Schrijvers
Bart Demoen
Gregory J. Duck
Peter J. Stuckey
Thom W. Frühwirth
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
constraint handling rules
fully automatic
constraint checking
constraint satisfaction
constrained optimization
learning algorithm
semi automatic
geometric constraints
resource constraints
consistency checking
neural network
real world
artificial intelligence