Lazy clause exchange policy for parallel SAT solvers
Authors: Laurent Simon and Gilles Audemard
Paper Information
| Title: | Lazy clause exchange policy for parallel SAT solvers |
| Authors: | Laurent Simon and Gilles Audemard |
| Proceedings: | SAT 2014 LNCS Proceedings |
| Editors: | Carsten Sinz and Uwe Egly |
| Keywords: | SAT, Parallel, Solver |
| Abstract: | ABSTRACT. (Tentative) In this paper, we present a simple parallel version of Glucose that uses a lazy policy to exchange clauses between cores. By working on the clause exchange policy, we ensure that in the context of many cores, the large number of incoming clauses will not degrade each core performances. |
| Pages: | 9 |
| Talk: | Jul 15 12:40 |
| Paper: |  |