Probabilistic Nogood Store as a Heuristic. - Andrei Missine; William S. Havens (PRICAI, 2008)