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...

Full description

Saved in:
Bibliographic Details
Published in:The AI magazine Vol. 34; no. 2; pp. 99 - 106
Main Authors: Hamadi, Youssef, Wintersteiger, Christoph M.
Format: Journal Article
Language:English
Published: Menlo Park, CA American Association for Artificial Intelligence 22.06.2013
John Wiley & Sons, Inc
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 perspective with related research results, and a (subjective) grading of difficulty for each of them is provided.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
ISSN:0738-4602
2371-9621
DOI:10.1609/aimag.v34i2.2450