Pesant G. Counting-Based Search for Constraint Optimization Problems. AAAI [Internet]. 2016 Mar. 5 [cited 2026 May 31];30(1). Available from: https://ojs.aaai.org/index.php/AAAI/article/view/10433