Journal on Satisfiability, Boolean Modeling and Computation : Special Issue on Parallel SAT Solving
youssefh
[Please, accept my apologies for multiple receipts.]
http://jsat.ewi.tudelft.nl/jsat_parallel.html
Journal on Satisfiability, Boolean Modeling and Computation
ISSN 1574-0617
*********************** Special Issue on Parallel SAT Solving
Call for Papers
Deadline for paper submission: November 30th, 2008
Guest Editor
Youssef Hamadi, Microsoft Research – youssefh at microsoft dot com.
General Information
Recent years have shown a major architectural shift in computer
hardware. The traditional efficiency gains upcoming from the
relentless raise of chips frequencies has been stopped by a thermal
wall and performance improvements have to be found elsewhere. The new
direction is to add more computing units (cores) to a chip in order to
raise its computational power. The products resulting from this multi-
core strategy are now on every desktop and yet the horizon is wide
open since the number of cores is expected to grow exponentially. This
technological shift represents an important challenge for many
computer sciences fields whose best algorithms have to be rethought
for multi-core-based parallelization. The goal of this special issue
is to officially acknowledge this evolution, and to present recent
advanced in the parallel processing of SAT problems.
Topics
We welcome the submission of works related to the parallel processing
(shared-memory and/or message-passing based) of SAT, MAX-SAT and QBF problems.
Submission
This special issue welcomes original high-quality contributions that
have been neither published in nor submitted to any journals. All
submissions should be written in terms understandable by general
readers of the journal. All submissions will be refereed according to
JSAT standards, as described at JSAT web page. Submissions should be
written in LaTeX and formatted with JSAT LaTeX style file according to
JSAT's author guidelines, and should not exceed 20 pages. Submissions
should be emailed to “youssefh at microsoft dot com” within the
deadline marked above.
About JSAT
JSAT is a peer-reviewed journal which is freely distributed
electronically and published in print by IOS Press. The scope of JSAT
is propositional reasoning, modeling and computation, and related
topics. JSAT publishes high-quality original research papers and
survey papers which evidently contribute to deeper insight on a SAT-
related topic.
--