SAT型制約ソルバーを用いたナンバーリンクの解法 Solving Numberlink by a SAT-based Constraint Solver

この論文にアクセスする

収録刊行物

  • DAシンポジウム2014論文集

    DAシンポジウム2014論文集 2014, 215-220, 2014-08-21

各種コード

  • NII論文ID(NAID)
    170000084795
  • 本文言語コード
    JPN
  • 資料種別
    Conference Paper
  • データ提供元
    IPSJ 
ページトップへ