Optimal admissible composition of abstraction heuristics
scientific article; zbMATH DE number 5777571
scientific article