第13回セミナー・勉強会
| 日時： | 2021.07.05 Mon. 10:00-12:00
|
|---|---|
| 会場： | オンライン |
| 話者： | 宋 剛秀（神戸大学，B01班） |
| 題目： | SATソルバーの最新動向と利用技術 |
| 概要： | 命題論理式の充足可能性を判定する充足可能性判定問題（SAT）およびそれを解くプログラムであるSATソルバーは，半世紀以上に渡って膨大な量の研究が蓄積されてきた．特に2000年以降SATソルバーの性能が飛躍的に向上し，様々な応用領域における推論の基盤技術として注目を集めている．
今回の勉強会では，上述したようなSATソルバーの近年の話題を最初に紹介する．次に近年のSATソルバーの求解性能の向上，SATソルバーの利用技術を例を交えて説明する．最後にSATソルバーの周辺技術としてSAT型制約プログラミングシステムなどを取り上げる予定である．
|
2021.06.28 更新