D. Narváez, “Constraint Satisfaction Techniques for Combinatorial Problems”, AAAI, vol. 32, no. 1, Apr. 2018.