/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2014ホーム
/
永塚 尚紀
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2014
氏名
永塚 尚紀
ふりがな
ながつか なおき
所属
名古屋大学 大学院情報科学研究科 計算機数理科学専攻
発表リスト
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ファイル
