Sat and hybrid models of the car sequencing problem (2014)

by Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh
Venue:In CPAIOR