SAT and Hybrid Models of the Car Sequencing Problem.

Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh

Browse the full CPAIOR paper archive.