Pesant, G. Counting-Based Search for Constraint Optimization Problems. AAAI 2016, 30.