Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

1 0 0 0 高速SATソルバーの原理(<特集>最近のSAT技術の発展)

著者
鍋島 英知 宋 剛秀
出版者
社団法人人工知能学会
雑誌
人工知能学会誌 (ISSN:09128085)
巻号頁・発行日
vol.25, no.1, pp.68-76, 2010-01-01
被引用文献数
6

言及状況

Twitter (1 users, 1 posts, 0 favorites)

とある事情で手っ取り早くSATの知識が得られる入門書はないかと探したら、これは凄かった。https://t.co/rIRhtXfbce これを読んで引用文献で復習すれば、SATの世界に入れそうな気配。これで変数に￢がついていてももう怖くない？
0

収集済み URL リスト