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