06月06日(Mon) 15:20〜17:05 D会場(48名-国際会議場 22会議室)
| 演題番号 | 1D4-OS-02a-3 |
|---|---|
| 題目 | SAT型制約ソルバーによるナンバーリンクの解法とその評価 |
| 著者 | 迫 龍哉(神戸大学大学院システム情報学研究科情報科学専攻) 川原 征大(神戸大学大学院システム情報学研究科情報科学専攻) 宋 剛秀(神戸大学 情報基盤センター) 番原 睦則(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 時間 | 06月06日(Mon) 16:20〜16:35 |
| 論文 | PDFファイル |