Automatic Identification and Exploitation of Dominance Relations in Constraint Optimization Problems - Zhong, Zhuowei (PQDT - Global, 2022)