Jimmy Ho-Man Lee;Ho-fung Leung;Peter J. Stuckey;V. W. L. Tam;Hon-Wing Won
-;-;-;-;-
Increasing Constraint Propagation by Redundant Modeling: \an Experience Report
Constraints