1 0 0 0 OA SMT:個別理論を取り扱うSAT技術(<特集>最近のSAT技術の発展)
- 著者
- 岩沼 宏治 鍋島 英知 Koji Iwanuma Hidetomo Nabeshima
- 雑誌
- 人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence (ISSN:09128085)
- 巻号頁・発行日
- vol.25, no.1, pp.86-95, 2010-01-01
言及状況
Twitter (1 users, 1 posts, 1 favorites)
@khibino ご参考
SMT:個別理論を取り扱うSAT技術
https://t.co/AHuGJHpMUg
特集「最近のSAT技術の発展」
https://t.co/Id6BDxW8CU