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

抄録

BDD/ZDD処理系とSATソルバは、いずれも命題論理に関する制約充足問題を解く技法であり、互いに影響を与えながら発展してきた。本講演では、BDD/ZDD処理系とSATソルバに関するこれまでの研究の流れを概観し、両者の特長の違いについて述べる。さらに、これらの技法に関する最近の話題にも触れる。