Anytime heuristic search for partial satisfaction planning
scientific article; zbMATH DE number 5600148
scientific article