Effective SAT Planning by Lemma-Reusing. - Hidetomo Nabeshima; Hirohito Nozawa; Koji Iwanuma (Artificial Intelligence and Applications, 2005)