Enrico Giunchiglia, Universita di Genova, Italy
Kostas Stergiou, University of the
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.
This special issue is concerned with all aspects of research in QCSPs and QBF. Topics of interest include (but are not limited to):
Researchers are invited to submit original papers that make a significant contribution to the field to email@example.com. (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.
intending to submit should send an expression of interest (including a
provisional title, list of authors and a tentative abstract) to firstname.lastname@example.org by
Submission of papers:
Notification of acceptance:
Final versions of accepted papers: