Lemma reusing for SAT based planning and scheduling
収録刊行物
-
- Proc. Int. Conf. on Automated Planning and Scheduling 2006 (ICAPS'06)
-
Proc. Int. Conf. on Automated Planning and Scheduling 2006 (ICAPS'06) 103-112, 2006