GPGPUによるMaxSATオラクルを用いたSATソルバの試作

DOI

抄録

<p>SAT問題を解くSATソルバは，近年の著しい性能向上によって大規模なSAT問題を解くことが出来るようになった．さらなる高速化の方法として処理の並列化が考えられるが，求解には逐次処理が多く，GPGPUによる並列化によって飛躍的に進歩した事例はない．本研究では，GPGPUで実装したMaxSATソルバをオラクルとして，SAT問題の探索空間を効率的に探索するSATソルバの提案を行う．</p>

収録刊行物

詳細情報 詳細情報について

  • CRID
    1390001288048125184
  • NII論文ID
    130007421471
  • DOI
    10.11517/pjsai.jsai2017.0_1m2os02b3
  • 本文言語コード
    ja
  • データソース種別
    • JaLC
    • CiNii Articles
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ