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

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

言及状況

Twitter (2 users, 2 posts, 0 favorites)

メモ３。SATの基礎。基本用語と系統的ソルバーDPLLの説明。 https://t.co/f0Krl7frVq 今までGoodNotes4を使っていたけど、今回はGoodNotes5を使ってみた。書き出すときの背景色が以前と若干違う、以前のほうが好み。ここらへんは試行錯誤していきたい。 https://t.co/ce5eJjOX6Z
1 @__DaLong
0

収集済み URL リスト