Y. C. Law;Jimmy Ho-Man Lee
-;-
Increasing Constraint Propagation by Redundant Modeling: \an Experience Report
Constraints
Model induction: a new source of CSP model redundancy
Eighteenth national conference on Artificial intelligence