TY  - RPRT
TI  - Removing Propagation Redundant Constraints in Redundant Modeling
AU  - Chiu Wo Choi
AU  - Jimmy Ho-Man Lee
AU  - Peter J. Stuckey
PY  - 2004
UR  - https://arxiv.org/abs/cs/0412026
ID  - cs/0412026
ER  -