/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2015ホーム /

2H4-OS-03a-1 (OS招待講演)BDD/ZDD処理系とSATソルバに関する研究の流れと最近の話題

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2015 このエントリーをはてなブックマークに追加

05月31日(Sun) 15:20〜17:05 H会場(5F北-小講義室 (583))
2H4-OS-03a オーガナイズドセッション「OS-3 SAT技術の理論,実装,応用 (1)」

演題番号2H4-OS-03a-1
題目(OS招待講演)BDD/ZDD処理系とSATソルバに関する研究の流れと最近の話題
著者湊 真一(北海道大学 大学院 情報科学研究科)
時間05月31日(Sun) 15:20〜16:00
概要BDD/ZDD処理系とSATソルバは、いずれも命題論理に関する制約充足問題を解く技法であり、互いに影響を与えながら発展してきた。本講演では、BDD/ZDD処理系とSATソルバに関するこれまでの研究の流れを概観し、両者の特長の違いについて述べる。さらに、これらの技法に関する最近の話題にも触れる。
論文PDFファイル