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

1D5-OS-02b-3in2 BDD/ZDDを用いたマインスイーパーの爆弾配置パタンの列挙

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

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

06月06日(Mon) 17:20〜19:00 D会場(48名-国際会議場 22会議室)
1D5-OS-02b オーガナイズドセッション「OS-2 SAT技術の理論,実装,応用 (2)」
06月08日(Wed) 09:00〜10:40 P会場(インタラクティブセッション、企業展示、受付-国際会議場 イベントホール)
3P1 インタラクティブセッション「インタラクティブセッション(2)」

演題番号1D5-OS-02b-3in2
題目BDD/ZDDを用いたマインスイーパーの爆弾配置パタンの列挙
著者鈴木 浩史(北海道大学 大学院情報科学研究科)
孫 浩(北海道大学 大学院情報科学研究科)
湊 真一(北海道大学 大学院 情報科学研究科)
時間06月06日(Mon) 17:50〜18:05【一般口頭発表】
06月08日(Wed) 09:00〜10:40【インタラクティブ発表】
論文PDFファイル