Dolius: A Distributed Parallel SAT Solving Framework

11 pages•Published: July 28, 2014

Gilles Audemard, Benoît Hoessen, Saïd Jabbour and Cédric Piette

Abstract

Over the years, parallel SAT solving becomes more and more important. However, most of state-of-the-art parallel SAT solvers are portfolio-based ones. They aim at running several times the same solver with different parameters. In this paper, we propose a tool called Dolius, mainly based on the divide and conquer paradigm. In contrast to most current parallel efficient engines, Dolius does not need shared memory, can be distributed, and scales well when a large number of computing units is available. Furthermore, our tool contains an API allowing to plug any SAT solver in a simple way.

Keyphrases: distributed computing, framework, sat platform

In: Daniel Le Berre (editor). POS-14. Fifth Pragmatics of SAT workshop, vol 27, pages 1-11.

Links:	https://easychair.org/publications/paper/M7V
	https://doi.org/10.29007/hvqt

BibTeX entry

@inproceedings{POS-14:Dolius_Distributed_Parallel_SAT,
  author    = {Gilles Audemard and Benoît Hoessen and Saïd Jabbour and Cédric Piette},
  title     = {Dolius: A Distributed Parallel SAT Solving Framework},
  booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {27},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/M7V},
  doi       = {10.29007/hvqt},
  pages     = {1-11},
  year      = {2014}}

Download PDF Open PDF in browser