Eric, et al.. Hybrid Strategies of Enumeration in Constraint Solving. no. 21, Academic Journals, Sept. 2011, doi:10.5897/sre11.891.