Accelerating backtrack search with a best-first-search strategy. - Zoltán Ádám Mann; Tamás Szép (Int. J. Appl. Math. Comput. Sci., 2014)