活動情報

イベント詳細

第13回セミナー・勉強会

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