PICHAFF² — A Hierarchical Parallel SAT Solver

M
MTV
2004
Fifth International Workshop on Microprocessor Test and Verification (MTV'04)
Abstract - PICHAFF² — A Hierarchical Parallel SAT Solver

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Tobias Schubert Articles by Bernd Becker

Fifth International Workshop on Microprocessor Test and Verification (MTV'04)

Austin, Texas

September 09-September 10

ISBN: 0-7695-2320-X

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MTV.2004.19

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.