Removing propagation redundant constraints in redundant modeling. (to appear) (2007)

by C W Choi, J H M Lee, P J Stuckey
Venue:ACM Transactions on Computational Logic,