Seven Challenges in Parallel SAT Solving

This article provides a broad overview of the state of the parallel SAT solving field. A set of challenges to researchers is presented that, we believe, must be met to ensure the practical applicability of parallel SAT solvers in the future. All these challenges are described informally but put into...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The AI magazine Jg. 34; H. 2; S. 99 - 106
Hauptverfasser:	Hamadi, Youssef, Wintersteiger, Christoph M.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Menlo Park, CA American Association for Artificial Intelligence 22.06.2013 John Wiley & Sons, Inc
Schlagworte:	Algorithm Algorithmics. Computability. Computer arithmetics Algorithms Applied sciences Artificial intelligence Boolean Cloud computing Computer science Computer science; control theory; systems Computer systems and distributed systems. User interface Exact sciences and technology Methods Parallel processing Parallel programming (Computer science) Programming languages R&D Research & development Software Studies Subjectivity Theoretical computing Workers Constraint satisfaction Distributed computing Parallel algorithm
ISSN:	0738-4602, 2371-9621
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!