How to Determine the Expressive Power of Constraints Peter JeavonsDavid CohenMarc Gyssens OriginalPaper Pages: 113 - 131
Confluence and Semantics of Constraint Simplification Rules Slim AbdennadherThom FrühwirthHolger Meuss OriginalPaper Pages: 133 - 165
Increasing Constraint Propagation by Redundant Modeling: an Experience Report B. M. W. ChengK. M. F. ChoiJ. C. K. Wu OriginalPaper Pages: 167 - 192