|
Title:
|
PFACTORY: A GENERIC LIBRARY FOR DESIGNING PARALLEL SOLVERS |
|
Author(s):
|
Gilles Audemard, Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail and Nicolas Szczepanski |
|
ISBN:
|
978-989-8533-95-1 |
|
Editors:
|
Hans Weghorn |
|
Year:
|
2019 |
|
Edition:
|
Single |
|
Keywords:
|
Satisfiability, Solver, Parallel, Library |
|
Type:
|
Full Paper |
|
First Page:
|
89 |
|
Last Page:
|
96 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
With the advent of multi-core processors, it makes sense to design multithreaded solvers. Nevertheless, implementing such
solvers is often a cumbersome task. Indeed, multithreaded SAT solvers are not easy to write, and only experienced
programmers should undertake to code for these types of applications. To overcome this problem, we propose a new library
that simplifies the design of multi thread solvers. Particular care was given to make efficient the transfer of a large amount
of information between solver units. We show that it is easy to implement parallel solvers by using PFACTORY on SAT
paradigm. We also experimentally validate that such solvers are competitive against state-of-the-art parallel solvers. |
|
|
|
|
|
|
