loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Workshop on Microprocessor Test and Verification (MTV'05)
PaMira - A Parallel SAT Solver with Knowledge Sharing
Austin, Texas
November 03-November 05
ISBN: 0-7695-2627-6
ASCII Text
x 
 
Tobias Schubert, Matthew Lewis, Bernd Becker, "PaMira - A Parallel SAT Solver with Knowledge Sharing," Microprocessor Test and Verification, International Workshop on, pp. 29-36, Sixth International Workshop on Microprocessor Test and Verification (MTV'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/MTV.2005.17,
author = {Tobias Schubert and Matthew Lewis and Bernd Becker},
title = {PaMira - A Parallel SAT Solver with Knowledge Sharing},
journal ={Microprocessor Test and Verification, International Workshop on},
volume = {0},
year = {2005},
issn = {1550-4093},
pages = {29-36},
doi = {http://doi.ieeecomputersociety.org/10.1109/MTV.2005.17},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Microprocessor Test and Verification, International Workshop on
TI - PaMira - A Parallel SAT Solver with Knowledge Sharing
SN - 1550-4093
SP29
EP36
A1 - Tobias Schubert,
A1 - Matthew Lewis,
A1 - Bernd Becker,
PY - 2005
KW - null
VL - 0
JA - Microprocessor Test and Verification, International Workshop on
ER -
 
Tobias Schubert, Albert-Ludwigs-University of Freiburg, Germany
Matthew Lewis, Albert-Ludwigs-University of Freiburg, Germany
Bernd Becker, Albert-Ludwigs-University of Freiburg, Germany
In this paper we describe PaMira, a powerful distributed SAT solver. PaMira is based on the highly optimized, sequential SAT engine Mira, incorporating all essential optimization techniques modern algorithms utilize to maximize performance. For the distributed execution an efficient work stealing method has been implemented. PaMira also employs the exchange of conflict clauses between the processes to guide the search more efficiently. We provide experimental results showing linear speedup on a multiprocessor environment with four AMD Opteron processors.
Citation:
Tobias Schubert, Matthew Lewis, Bernd Becker, "PaMira - A Parallel SAT Solver with Knowledge Sharing," mtv, pp.29-36, Sixth International Workshop on Microprocessor Test and Verification (MTV'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.