Russell Greiner Ryan Hayward Magdalena Jankowska Michael Molloy Finding optimal satisficing strategies for and-or trees. 19-58 2006 170 Artif. Intell. 1 http://dx.doi.org/10.1016/j.artint.2005.09.002 db/journals/ai/ai170.html#GreinerHJM06