Kenil C. K. Cheng Roland H. C. Yap Search Space Reduction for Constraint Optimization Problems. 635-639 2008 CP https://doi.org/10.1007/978-3-540-85958-1_56 conf/cp/2008 db/conf/cp/cp2008.html#ChengY08a