単調関数とその主項集合を表すOBDDサイズの関係について(計算モデルと計算の複雑さに関する研究)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 早瀬 千善

  東京大学大学院理学系研究科情報科学専攻

関連論文

• 単調関数とその主項集合を表すOBDDサイズの関係について(計算モデルと計算の複雑さに関する研究)

スポンサーリンク