決定的ポートフォリオ型並列SATソルバーの待ち時間削減による高速化手法

  • 後藤 優也
    山梨大学大学院医工農学総合教育部工学専攻コンピュータ理工学コース
  • 鍋島 英知
    山梨大学大学院医学工学総合研究部

書誌事項

タイトル別名
  • Reducing waiting time of deterministic portfolio parallel SAT solvers
  • ケッテイテキ ポートフォリオガタ ヘイレツ SAT ソルバー ノ マチ ジカン サクゲン ニ ヨル コウソクカ シュホウ

この論文をさがす

収録刊行物

詳細情報

問題の指摘

ページトップへ