A Study on a Framework for Constructing Deterministic Parallel SAT Solvers

DOI
  • FUKIAGE Tsubasa
    Department of Computer Science and Engineering,Faculty of Enginnering,University of Yamanashi
  • OBITSU Yuto
    Department of Computer Science and Engineering,Faculty of Enginnering,University of Yamanashi
  • NABESHIMA Hidetomo
    Graduate Faculty of Interdisciplinary Research,University of Yamanashi
  • LU Xiao-Nan
    Graduate Faculty of Interdisciplinary Research,University of Yamanashi

Bibliographic Information

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

Description

<p>The widespread use of multi-core CPUs has led to the development of parallel SAT solvers, but most of them are nondeterministic. In addition, existing deterministic parallel SAT solvers such as ManyGlucose requires high development cost. In this study, we propose a framework to easily develop a deterministic parallel SAT solver, and show that homogeneous parallel SAT solvers based on this framework achieve the comparable performance with specialized one. Next, we attempted to reduce the latency for synchronization in heterogenous parallel SAT solvers. Our strategies achieve the performance improvement but did not lead to significant reductions in latency in the current stage.</p>

Journal

Keywords

Details 詳細情報について

Report a problem

Back to top