June 28 - July 2, 2010 Le CENTRE DE CONGRÈS de CAEN Caen, France
Workshop on Parallel Satisfiability Solving: SAT and beyond SAT, Parallel Solving on New
Architectures (WPSS 2010)
CALL FOR PAPERS
As part of The International Conference on High Performance
Computing & Simulation (HPCS 2010) http://cisedu.us/cis/hpcs/10/main/callForPapers.jsp In conjunction with The 6th International Wireless Communications and
Mobile Computing Conference (IWCMC 2010)
Extended Full Paper Submission Deadline: February 28, 2010
SCOPE AND OBJECTIVES
During the last decade, the fundamental Satisfiability Problem (SAT) has been extensively
studied. This interest of the community significantly grows because of its
conceptual simplicity and its ability to describe a wide set of various problems,
including hardware verification, planning, automated reasoning, and others.
Consequently, there is an increasing demand for high performance SAT-solving algorithms in
industry. To date, the parallel SAT solving remains a challenging problem. In
spite of the actual trend in processor development, which is moving from single-core to
multi-core CPU, there exist few parallel solving works dedicated to the SAT problem.
This workshop will focus on SAT and beyond SAT solving techniques exploiting parallelism
within a context of High Performance Computing including massively
parallel architectures such as Global Processing Units (GPUs) and Field-Programmable Gate
Arrays (FPGAs).
We invite papers in this emerging discipline which includes, but not limited to, the
following areas of interest.
High Performance Computing for SAT, Max-SAT #SAT and QBF solving.
General-Purpose Computation on GPUs (GPGPU) for SAT*
Reconfigurable Computing and FPGA for SAT*
Parallel SAT* Pre-processing
Portfolios and/or Hybridized Algorithms within a Parallel Context
PAPER SUBMISSIONS
Submitted papers must not have been published or simultaneously submitted elsewhere.
Submission should include a cover page with authors' names, affiliation addresses, fax
numbers, phone numbers, and email addresses. Please, indicate clearly the
corresponding author and include up to 6 keywords from the above list of topics and an
abstract of no more than 400 words. The full manuscript should be at most 8 pages
using the two-column IEEE format. Additional pages will be charged at additional
fee. Please include page numbers on all submissions to make it easier for reviewers
to provide helpful comments. Submit a PDF copy of your full manuscript via email to
the Workshop organizers at
michael.krajecki@univ-reims.fr
,
sais@cril.univ-artois.fr
or
gilles.dequen@u-picardie.fr
.
Only PDF files will be accepted. Each paper will receive a minimum of three
reviews. Papers will be selected based on their originality, relevance, technical
clarity and presentation. Authors of accepted papers must guarantee that their
papers will be registered and presented at the workshop. Accepted papers will be
published in the conference proceedings which will be available at the time of the
meeting.
IMPORTANT DATES
Paper Submissions:
------------------------------------------- February 28, 2010
Acceptance Notification: ------------------------------------- March 20, 2010
Camera Ready Papers and Registration Due: ----------- April 15, 2010
International Program Committee
:
All submitted papers will be reviewed by the workshop technical program committee members
following similar criteria used in HPCS.
Francois Bodin, IRISA, Rennes, France
Clementin Tayou Djamegni, University of Dschang, Cameroon
Youssef Hamadi, Microsoft Research Cambridge, U.K.
Marijn Heule, TU Delft, The Netherlands
Bertrand Le Cun, Université de Versailles Saint-Quentin en Yvelines, France
Tobias Schubert, Albert-Ludwigs-University of Freiburg, Germany
Carsten Sinz, University of Karlsruhe, Germany
Peter Stuckey, University of Melbourne, Australia
If you have any questions about paper submission or the workshop, please contact the
Workshop organizers at the above addresses.
If you have any questions about conference paper submission, please contact Conference
Program Chair: Prof. Waleed W. Smari, University of Dayton, 300 College Park,
Dayton, OH 45469-0226, USA, Voice: (937) 681-0098, Fax: (937) 255-4511, Email:
smari@arys.org
. For information about the HPCS conference in general, please contact the General
Chairs or consult the conference web site at
http://cisedu.us/cis/hpcs/10/main/callForPapers.jsp
.