loading...
PICHAFF² — A Hierarchical Parallel SAT Solver
Austin, Texas September 09-September 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MTV.2004.19Fifth International Workshop on Micro ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Tobias Schubert, Bernd Becker, "PICHAFF² — A Hierarchical Parallel SAT Solver," Microprocessor Test and Verification, International Workshop on, pp. 56-61, Fifth International Workshop on Microprocessor Test and Verification (MTV'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/MTV.2004.19,
author = {Tobias Schubert and Bernd Becker},
title = {PICHAFF² — A Hierarchical Parallel SAT Solver},
journal ={Microprocessor Test and Verification, International Workshop on},
volume = {0},
year = {2004},
issn = {1550-4093},
pages = {56-61},
doi = {http://doi.ieeecomputersociety.org/10.1109/MTV.2004.19},
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 - PICHAFF² — A Hierarchical Parallel SAT Solver
SN - 1550-4093
SP56
EP61
A1 - Tobias Schubert,
A1 - Bernd Becker,
PY - 2004
KW - null
VL - 0
JA - Microprocessor Test and Verification, International Workshop on
ER -
 
Tobias Schubert, Albert - Ludwigs - University of Freiburg
Bernd Becker, Albert - Ludwigs - University of Freiburg
We present a hierarchical distributed SAT procedure for Microchip PIC microcontrollers. The algorithm is an adaption of the state-of-the-art solver CHAFF optimised for the limited resources of the Microchip processors. The underlying hardware environment is a special multiprocessor system based on PC ISA slot cards, each of them holding up to 9 PIC microcontrollers. We propose a novel work stealing scheme, which is able to manage multiple of these multi-processor cards in parallel. Besides discussing technical aspects we also point out the efficiency of our approach by a set of experiments.
Citation:
Tobias Schubert, Bernd Becker, "PICHAFF² — A Hierarchical Parallel SAT Solver," mtv, pp.56-61, Fifth International Workshop on Microprocessor Test and Verification (MTV'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.