Recent Advances in SAT Solvers and their Utilization Technologies.

DOI IR (HANDLE) Web Site Open Access

Bibliographic Information

Other Title
  • SATソルバーの最新動向と利用技術
  • SAT ソルバー ノ サイシン ドウコウ ト リヨウ ギジュツ

Search this article

Description

<p>Since 2000, SAT solvers that are programs solving SAT instances has enormously progressed in performance. Due to the performance improvement, SAT-based systems that encode problems into SAT instances and solve them by SAT solvers have succeeded in various research fields such as planning, software/hardware verification, scheduling problems, etc .In this paper, as recent advances in SAT solvers, we first explain the progress of their performance and functions from the viewpoint of the international competition of SAT solvers which is a factor of their progress. Then, from the viewpoint of utilization technologies, we explain that we can solve more complex problems by combining progressive functions of SAT solvers with encoding methods. As an example, we explain a solving method for the multiobjective optimization problems by using SAT solvers.</p>

Journal

  • Computer Software

    Computer Software 35 (4), 72-92, 2018-10-25

    Japan Society for Software Science and Technology

Related Projects

See more

Details 詳細情報について

Report a problem

Back to top