Automatic Implication Checking for CHR Constraints
Under a Creative Commons license
open access
Keywords
Constraint Handling Rules
implication checking
program transformation
constraint solver hierarchy
Cited by (0)
- ⋆
Research Assistant of the fund for Scientific Research - Flanders (Belgium) (F.W.O. - Vlaanderen)
Copyright © 2006 Elsevier B.V.