Hidetomo Nabeshima Takehide Soh Katsumi Inoue Koji Iwanuma Lemma Reusing for SAT based Planning and Scheduling. 103-113 2006 conf/aips/2006 ICAPS db/conf/aips/icaps2006.html#NabeshimaSII06