1 0 0 0 OA SATによるシステム検証(<特集>最近のSAT技術の発展)
- 著者
- 番原 睦則 田村 直之 Mutsunori Banbara Naoyuki Tamura
- 雑誌
- 人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence (ISSN:09128085)
- 巻号頁・発行日
- vol.25, no.1, pp.122-129, 2010-01-01
言及状況
Twitter (1 users, 1 posts, 3 favorites)
今日受けた授業でSATソルバが出てたから，いろいろネットサーフィンしてたら担当教員の人が書いた特集が引用されてた！
https://t.co/X41tA9HUAe