Narváez, D. Constraint Satisfaction Techniques for Combinatorial Problems. AAAI 2018, 32.