EFFECTIVE SAT PLANNING BY LEMMA-REUSING
書誌事項
- タイトル
- EFFECTIVE SAT PLANNING BY LEMMA-REUSING
- 著者
- Hidetomo Nabeshima
収録刊行物
-
- Proceedings of Artificial Intelligence and Applications 2005
-
Proceedings of Artificial Intelligence and Applications 2005 1-5, 2005