Accelerating backtrack search with a best-first-search strategy Zoltán Ádám Mann; Tamás Szép — 2014 International Journal of Applied Mathematics and Computer Science