2 0 0 0 SATソルバーの基礎(<特集>最近のSAT技術の発展)
- 著者
- 井上 克巳 田村 直之 Katsumi Inoue Naoyuki Tamura
- 出版者
- 人工知能学会
- 雑誌
- 人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence (ISSN:09128085)
- 巻号頁・発行日
- vol.25, no.1, pp.57-67, 2010-01-01
- 参考文献数
- 56
- 被引用文献数
- 8
1 0 0 0 OA アブダクションの原理
- 著者
- 井上 克巳 Katsumi Inoue
- 雑誌
- 人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence (ISSN:09128085)
- 巻号頁・発行日
- vol.7, no.1, pp.48-59, 1992-01-01