CSPSAT18: Seventh International Workshop on the Cross-Fertilization Between CSP and SAT Federated Logic Conference 2018 (FLoC) Oxford, UK, June 7, 2018 |
Conference website | http://sysrun.haifa.il.ibm.com/hrl/cspsat2018/ |
Submission link | https://easychair.org/conferences/?conf=cspsat18 |
Conference program | https://easychair.org/smart-program/FLoC2018/ |
Abstract registration deadline | April 15, 2018 |
Submission deadline | April 15, 2018 |
Notification | May 8, 2018 |
Constraint Satisfaction Problems (CSP) and Boolean Satisfiability Problems (SAT) have much in common. However, they also differ in many important aspects, leading to major differences in solution techniques. More importantly, the CSP and SAT communities, while to some extent interacting with each other, are mostly separate communities with separate conferences and meetings. This workshop is designed as a venue for bridging the gap and for cross-fertilization between the two communities, in terms of ideas, problems, techniques, and results.
Topics in the scope of the workshop
- Adaptation of CSP techniques to SAT problems
- Adaptation of SAT techniques to CSP problems
- Efficient translations and encodings from one framework to the other
- Heterogeneous CSP/SAT problems
- Hybrid CSP/SAT solvers
- Heuristics in SAT and CSP
- Local search in CSP and SAT
- Parallelization and real-time competition between CSP and SAT solvers, cross-talk between the solvers
- Commonalities and differences in the theory of CSP and SAT solving
- Intermediate problems (e.g., satisfiability modulo theories, pseudo-Boolean) and their relations to both CSP and SAT
- Applications: ways to determine which framework works best for which application
Submission Guidelines
We invite the following forms of submissions:
- Short tutorial presentations.
The submission should be a proposal that includes an outline of the tutorial.
The number of accepted tutorials depends on the overall number of accepted talks, with the aim to set up a balanced workshop program. - Reports on already published work.
The submission should be an extended talk abstract that includes an outline of the planned talk, and pointers to relevant bibliography. - Reports on work-in-progress.
The submission should be an extended talk abstract that includes an outline of the planned talk.
Each submission should have an overall length of 1-4 pages in LNCS format. The accepted extended abstracts will be published on the workshop webpage.
At least one author of each accepted submission must attend the workshop.
We are looking forward to a successful workshop, and to seeing you in Oxford!
Organizing committee
- Alexander Ivrii, alexi@il.ibm.com
- Yehuda Naveh, naveh@il.ibm.com
Venue
The conference will be held in Oxford, UK
Contact
All questions about submissions should be emailed to cspsat18 AT easychair.org