J. Benton Minh Binh Do Subbarao Kambhampati Anytime heuristic search for partial satisfaction planning. 562-592 2009 173 Artif. Intell. 5-6 http://dx.doi.org/10.1016/j.artint.2008.11.010 db/journals/ai/ai173.html#BentonDK09