決定的並列SATソルバー構築のための汎用フレームワークの検討

DOI

書誌事項

タイトル別名
  • A Study on a Framework for Constructing Deterministic Parallel SAT Solvers

説明

<p>マルチコア CPU の普及により並列 SAT ソルバーの開発が進められているが，その多くは非決定的である．また， ManySAT や ManyGlucose のような既存の決定的並列 SAT ソルバーは１種類の逐次ソルバーのみを並列化している．本研究では，まず決定的な並列 SAT ソルバーのための汎用フレームワークを作成するとともに，複数の逐次ソルバーを導入する．次にスレッドごとにソルバーを選択し，複数の逐次ソルバーを並列化した際に発生する待ち時間を削減するための方法を検討した．</p>

収録刊行物

キーワード

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

  • CRID
    1390574181058666112
  • DOI
    10.11517/pjsai.jsai2022.0_4f3os8b02
  • ISSN
    27587347
  • 本文言語コード
    ja
  • データソース種別
    • JaLC
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ