| 氏名 | 宋 剛秀 |
|---|---|
| ふりがな | そう たけひで |
| 所属 | 神戸大学 情報基盤センター |
| 題目 | 1D5-OS-11b-7 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法 |
|---|---|
| 著者 | 佐古田 淳史 宋 剛秀 番原 睦則 田村 直之 |
| 論文 | PDFファイル |
| 題目 | 1D5-OS-11b-6in SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用 |
|---|---|
| 著者 | 宋 剛秀 Le Berre Daniel Roussel Stéphanie 番原 睦則 田村 直之 |
| 論文 | PDFファイル |