アルゴリズムデザインコンテスト2017（ADC2017）参考情報

ADC2016の情報

1. 問題と解答　ダウンロード
   ※ 問題からVIAの定義を削除することでADC2017の問題と解答の例として使用可能

2. 参加者の作成したポスター、プログラム

• (6A-1) 解集合プログラミングを用いたナンバーリンクの解法に関する一考察 (ポスター)
  坡山直樹、川原征大、迫龍哉、番原 睦則(神戸大学)

• (6A-2) SAT型制約ソルバーを用いた多層ナンバーリンクの解法 (ポスター)
  寸田智也、南雄之、吉玉元和、宋剛秀(神戸大学)

• (6A-3) 機械学習とFPGAを用いたナンバーリンクソルバ (ポスター, プログラム)
  寺田晃太朗、長谷川健人、川村一志、多和田雅師、戸川望(早稲田大学)

神戸大学田村研究室の論文、Webページ

• SAT技術の進化と応用 〜パズルからプログラム検証まで〜：2．SATとパズル -問題をいかにSATソルバーで解くか-
  田村 直之、宋 剛秀、番原 睦則、情報処理、第57巻、第8号、ページ 710-715、2016年7月

• SAT型制約ソルバーを用いたナンバーリンクの解法
  田村 直之、宋 剛秀、番原 睦則、鍋島 英知、DAシンポジウム2014論文集、ページ 215-220、2014年8月

• ナンバーリンク(Number Link)パズルをSugar制約ソルバーで解く

• Numberlink Solver in Copris

九州大学松永准教授にご提供頂いた情報

• SATベースソルバのチュートリアルとプログラム例  (ADC2016のルール対応)

※ 「ナンバーリンク」は株式会社ニコリの登録商標です。

リンク先のファイルの著作権はそれぞれの著者、または論文発行元の学会にあります。再配布等を行う場合は著作権保有者の許諾を得る様にお願いします。

Copyright (c) 2017 DAシンポジウム実行委員会