Reducing waiting time of deterministic portfolio parallel SAT solvers

DOI Web Site
  • GOTOU Yuuya
    Computer Science and Engineering Course, Faculty of Engineering, Integrated Graduate School of Medicine, Engineering, and Agricultural Sciences, University of Yamanashi
  • NABESHIMA Hidetomo
    Department of Research Interdisciplinary Graduate School of Medicine and Engineering, University of Yamanashi

Bibliographic Information

Other Title
  • 決定的ポートフォリオ型並列SATソルバーの待ち時間削減による高速化手法
  • ケッテイテキ ポートフォリオガタ ヘイレツ SAT ソルバー ノ マチ ジカン サクゲン ニ ヨル コウソクカ シュホウ

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top