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