G. Pesant, “Counting-Based Search for Constraint Optimization Problems”, AAAI, vol. 30, no. 1, Mar. 2016.