1D5-OS-02b-6in2 変数間の支配関係に基づく論理式の全解列挙手法

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

06月06日(Mon) 17:20〜19:00 D会場(48名-国際会議場 22会議室)
1D5-OS-02b オーガナイズドセッション「OS-2 SAT技術の理論，実装，応用 (2)」
06月08日(Wed) 09:00〜10:40 P会場(インタラクティブセッション、企業展示、受付-国際会議場イベントホール)
3P1 インタラクティブセッション「インタラクティブセッション(2)」

演題番号	1D5-OS-02b-6in2
題目	変数間の支配関係に基づく論理式の全解列挙手法
著者	戸田貴久(電気通信大学大学院情報システム学研究科) 井上武(日本電信電話株式会社)
時間	06月06日(Mon) 18:35〜18:50【一般口頭発表】 06月08日(Wed) 09:00〜10:40【インタラクティブ発表】
論文	PDFファイル