Hidetomo Nabeshima Hirohito Nozawa Koji Iwanuma Effective SAT Planning by Lemma-Reusing. 1-5 2005 conf/aia/2005 Artificial Intelligence and Applications db/conf/aia/aia2005.html#NabeshimaNI05