Call for Papers

Constraints Journal

Special Issue on Quantified CSPs and QBF

Guest Editors

Enrico Giunchiglia, Universita di Genova, Italy

Kostas Stergiou, University of the Aegean, Greece

Introduction

CSPs and SAT are frameworks that have been successfully used to model and solve a wide variety of combinatorial problems. However, there are problems from areas such as contingent planning, adversarial game playing, control design, and model checking that cannot be expressed within these frameworks. Typically, such problems involve decisions or events that are beyond the control of the problem solving agent and thus cannot be modelled using standard (existentially quantified) variables. Quantified CSPs and QBF, which are the extensions of CSPs and SAT that allow for universally quantified variables, make it possible to model and reason with such problems, as well as other PSPACE-complete problems that contain “bounded uncertainty”. As a result, these frameworks have been attracting significant interest in recent years. The main advances have been achieved in the area of QBF where numerous solvers have been implemented and real problems of considerable size have been tackled. There is also a significant body of work on quantified numerical constraints, while recently research works on QCSPs with discrete finite domains have started to emerge. With this special issue of Constraints, we aim to group together and reflect the state of the art in these rapidly developing areas of research.

Topics of Interest

This special issue is concerned with all aspects of research in QCSPs and QBF. Topics of interest include (but are not limited to):

  • Solvers for QCSPs or QBF
  • Search and propagation techniques
  • Quantified numerical constraints
  • Complexity results
  • Modelling uncertainty using quantified constraints
  • Combining/integrating different frameworks and algorithms
  • Real-world applications 

Paper Submission

Researchers are invited to submit original papers that make a significant contribution to the field to konsterg@aegean.gr. (Note that the usual on-line submission procedure for the Constraints journal will not be followed initially for the Special Issue). All submissions should be in .pdf format and follow Constraints Journal guidelines. Papers of at most 30 journal pages are preferred.

When submitting, please use the subject "Constraints Special Issue Paper Submission" and clearly specify the e-mail address and phone number of the corresponding author. Receipt of papers will be acknowledged. Submissions will be reviewed by at least two reviewers. All accepted papers will meet the usual high-quality standards of the Constraints Journal.

Authors intending to submit should send an expression of interest (including a provisional title, list of authors and a tentative abstract) to konsterg@aegean.gr by June 1st , 2007.

Important Dates

Expression of interest: June 1st, 2007
Submission of papers:
September 15th, 2007
Notification of acceptance:
December 15th, 2007
Final versions of accepted papers:
February 15th, 2008

Important Links