午前の部　※◎は学生優秀発表賞・支部大会奨励賞対象発表、◆はジュニア会員特別賞対象発表、†は推薦論文対象発表、○は登壇者、★はキャリアエクスプローラー

• A-01

  経路長制約の導入によるナンバーリンクの全解列挙に必要なZDD節点数削減 ◎

  〇岩井 颯希、越智 裕之（立命館大学）

  ナンバーリンクの全解列挙にはトップダウンZDD構築法が有効であるが，節点数増大により大規模問題の処理が困難となる．本研究では集積回路配線を模して最大経路長制約を導入し，節点数抑制効果を検証する．

◎

学生優秀発表賞・支部大会奨励賞対象発表

◆

ジュニア会員特別賞対象発表

†

推薦論文対象発表（情報処理学会論文誌ジャーナルへの推薦対象）

○

登壇者

★

キャリアエクスプローラー（求職中の学生・ポスドク）