[1E2-OS-3a] AI における離散構造処理と制約充足(1)

[1E2-OS-3a-01] (Invited talk) Sentential Decision Diagrams and related topics

〇Masaaki Nishino¹ (1. NTT Communication Science Laboratories)

Keywords:Sentential Decision Diagrams, Discrete Structure, Binary Decision Diagrams

Sentential Decision Diagrams （SDD）は近年提案された決定グラフの一種であり，二分決定グラフ (BDD）と同等の演算性能を保持しつつ，BDDよりも簡潔な表現が可能という特徴をもつ．本講演ではSDDの紹介と，講演者らの最近の研究成果であるZero-suppressed SDD （ZSDD）や，SDDの効率的な構築方法などを紹介する．