CSPSAT 2018 - 7th International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2018)

Topics in the scope of the workshop include:
Adaptation of CSP techniques to SAT problems
Adaptation of SAT techniques to CSP's
Efficient translations and encodings from one framework to the other
Heterogeneous CSP/SAT problems
Hybrid CSP/SAT solvers
Heuristics in CSP and SAT
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