Multithreaded SAT Solving

	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 Matthew Lewis Articles by Tobias Schubert Articles by Bernd Becker

2007 Asia and South Pacific Design Automation Conference

Yokohama

January 23-January 26

ISBN: 1-4244-0629-3

	ASCII Text	x
	Matthew Lewis, Tobias Schubert, Bernd Becker, "Multithreaded SAT Solving," Asia and South Pacific Design Automation Conference, pp. 926-931, 2007 Asia and South Pacific Design Automation Conference, 2007.

	BibTex	x
	@article{ 10.1109/ASPDAC.2007.358108, author = {Matthew Lewis and Tobias Schubert and Bernd Becker}, title = {Multithreaded SAT Solving}, journal ={Asia and South Pacific Design Automation Conference}, volume = {0}, year = {2007}, isbn = {1-4244-0629-3}, pages = {926-931}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASPDAC.2007.358108}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asia and South Pacific Design Automation Conference TI - Multithreaded SAT Solving SN - 1-4244-0629-3 SP926 EP931 A1 - Matthew Lewis, A1 - Tobias Schubert, A1 - Bernd Becker, PY - 2007 KW - null VL - 0 JA - Asia and South Pacific Design Automation Conference ER -

Matthew Lewis, Institute for Computer Science, Albert-Ludwigs-University of Freiburg, Georges-Koehler-Allee 51, 791

Tobias Schubert, Institute for Computer Science, Albert-Ludwigs-University of Freiburg, Georges-Koehler-Allee 51, 791

Bernd Becker, Institute for Computer Science, Albert-Ludwigs-University of Freiburg, Georges-Koehler-Allee 51, 791

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASPDAC.2007.358108

This paper describes the multithreaded MiraXT SAT Solver which was designed to take advantage of current and future shared memory multiprocessor systems. The paper highlights design and implementation details that allow the multiple threads to run and cooperate efficiently. Results show that in single threaded mode, MiraXT compares well to other state of the art solvers on Industrial problems. In threaded mode, it provides cutting edge performance, as speedup is obtained on both SAT and UNSAT instances.

Citation:

Matthew Lewis, Tobias Schubert, Bernd Becker, "Multithreaded SAT Solving," asp-dac, pp.926-931, 2007 Asia and South Pacific Design Automation Conference, 2007

Peer Review Notice | Give Us Feedback

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