Accelerating backtrack search with a best-first-search strategy
scientific article; zbMATH DE number 6424844
scientific article