Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma. Lemma Reusing for SAT based Planning and Scheduling. In Derek Long, Stephen F. Smith, Daniel Borrajo, Lee McCluskey, editors, Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006. pages 103-113, AAAI, 2006.
Abstract is missing.