Workshop 06- WPSS

Workshop on Parallel/Portfolio Satisfiability Solving

(WPSS 2011)

Call for Papers

As part of

The 2011 International Conference on High Performance Computing & Simulation

(HPCS 2011)

In Conjunction With

The International Wireless Communications and Mobile Computing Conference (IWCMC 2011)

July 4 – 8, 2011

Istanbul, Turkey

(Submission Deadline: February 14, 2011)


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 still exist few parallel solving works dedicated to the SAT problem. This workshop will focus on SAT and beyond SAT solving techniques exploiting parallelism or portfolio approaches within multi-threaded, distributed and grid architectures but also emerging 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.

The Workshop topics include (but are not limited to) the following:

  • Parallel Solving Techniques within Shared and Distributed Memory for SAT, Max-SAT #SAT, QBF, etc.

  • 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


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 authors 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 450 words. The full manuscript should be at most 7 pages using the two-column IEEE format. Additional pages will be charged additional fee. Please include page numbers on all preliminary 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,,

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 made available at the time of the meeting.

Important Dates:

  • Full Paper Submission Deadline: February 14, 2011

  • Notification of Acceptance: March 14, 2011

  • Extended Registration & Camera-Ready Manuscripts Due: April 29, 2011

  • Conference Date: July 4-8, 2011


Michael Krajecki

Lakhdar Sais

Gilles Dequen

International Program Committee:

All submitted papers will be reviewed by the Workshop Technical Program Committee members following similar criteria used in HPCS 2011.

  • 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, Universite 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

  • TBA

If you have any questions about paper submission or the Workshop, please contact the workshop organizers at the above addresses.

For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference’s web site at URL: or contact one of the Conference's organizers. If you have any questions about the HPCS 2011 conference paper submission, please contact Conference Program Chair: Waleed W. Smari, Voice: +1 (937) 681-0098, Email: