Journal article

Removing propagation redundant constraints in redundant modeling

CW Choi, JHM Lee, PJ Stuckey

ACM Transactions on Computational Logic | ASSOC COMPUTING MACHINERY | Published : 2007