Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala 0002, Toby Walsh. SAT and Hybrid Models of the Car Sequencing Problem. In Helmut Simonis, editor, Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings. Volume 8451 of Lecture Notes in Computer Science, pages 268-283, Springer, 2014. [doi]
Abstract is missing.