VSL 2014: VIENNA SUMMER OF LOGIC 2014

CSPSAT 2014: CALL FOR PAPERS

CSPSAT 2014 – Fourth International Workshop on the Cross-Fertilization Between CSP and SAT
July 18, 2014 · Vienna, Austria

 

 

Important Dates

Deadline for abstract submissions April 20, 2014
Deadline for paper submissions April 27, 2014
Notifications to authors May 18, 2014
Camera-ready copy submission May 28, 2014

Aims and Scope

Constraint Satisfaction Problems (CSPs) and Boolean Satisfiability Problems (SAT) have much in common. However, they also differ in many important aspects. Algorithmic techniques such as local search and propagation-based search have been applied in both areas, but with major differences in the underlying algorithmic design and in specific heuristics. Recently, the success of lazy clause-generating solvers has drawn significant attention, and can serve as one example of how the interaction between the two frameworks can advance the fields. Similarly, the comparative theoretical study of CSP and SAT is of great interest with a potential for many exciting results. The CSP and SAT communities, while to a large extent interacting with each other, are still mostly separate communities with separate conferences and meetings. This workshop is designed as a venue for bridging this gap, and enhancing cross-fertilization between the two communities, in terms of problems, ideas, techniques, and results. 

This year's workshop is the fourth in the series, following successful occasions in SAT'11, SAT'12, and CP'13.  We plan to continue to alternate this workshop between the CP and SAT conferences in order to better facilitate the purpose of cross-fertilization. As in previous years, the workshop is expected to consist of peer-reviewed contributed papers, an invited talk, a tutorial, and ample time for informal interaction. 

Topics in the scope of the workshop include: 

Paper Submissions

Authors should prepare their papers in the LNCS/LNAI format, following Springer's instructions. Submissions can be of one of the following types:

Authors should indicate whether the submitted work has been published or accepted for publication elsewhere. Priority will be given to original full papers and to important work recently presented in other venues. Each submission should identify one contact author, and provide the email address and phone number of this author. Papers and abstracts should be submitted via EasyChair:

 CSPSAT 2014 Submission at EasyChair

All submissions will be reviewed by at least two members of the program committee or their delegates. Decisions about acceptance or rejection will be made considering both the merit of the work and the available time for presentations. At least one author of each accepted submission must attend the workshop. Original papers will be published on the workshop website following the workshop.

Program Committee

Disclaimer | Powered by EasyChair Smart Program