State-Set Search. - Pang, Bo; Holte, Robert C. (2011)