/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2014ホーム /

Harald Zankl

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

Tweet #jsai2014 このエントリーをはてなブックマークに追加

氏名Harald Zankl
所属インスブルック大学

発表リスト

05月12日(Mon) 15:20〜17:00 D会場(48人-ひめぎんホール 第3会議室)
題目1D4-OS-11a-3 Size complexity of BDD construction of Pseudo-Boolean constraints in binary/mixed-radix base form
著者永塚 尚紀 酒井 正彦 Zankl Harald 草刈 圭一朗
論文PDFファイル