SEARCH Articles Figures Tables Exploration Explorer) Partial Exploration of State Spaces and Hypothesis Test for Unsuccessful Search