SAT & CP
Making the link between SAT and CP is a very important research topic. The two approaches have very orthogonal views and assets, however, they are very close in many algorithmic aspects.
My first paper was on encoding CSPs into CNF such that a given level of consistency is achieved by
Moreover, I have recently started to work on the topic of
Publications on SAT Encodings and Hybrid Systems
-
SAT and Hybrid models of the Car-Sequencing problem
Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala and Toby Walsh
CP-AI-OR
-
Recently, we were surprised to see that, during the CSP solver competitions, a very simple model in Mistral was actually very efficient on some
Also, here are the slides of the master class on this topic that I gave at CPAIOR 2011.
Publications on SAT-based Methods for Scheduling
-
Models and Strategies for Variants of the Job Shop Scheduling Problem
Diarmuid Grimes and Emmanuel Hebrard
CP
-
Jobshop Scheduling with Setup Times and Maximal Time-lags: Simple Constraint Programming Approach
Diarmuid Grimes and Emmanuel Hebrard
CP-AI-OR
-
Closing the Open Shop: Contradicting Conventional Wisdom
Diarmuid Grimes, Emmanuel Hebrard and Arnaud Malapert
CP