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