Accéder directement au contenu
MS

Mohamed Siala

2
Documents
Identifiants chercheurs

Présentation

Publications

946687
Image document

SAT and Hybrid Models of the Car Sequencing Problem

 Christian Artigues , Emmanuel Hébrard , Valentin Mayer-Eichberger , Mohamed Siala , Toby Walsh
11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014., May 2014, Cork, Ireland. pp.268-283, ⟨10.1007/978-3-319-07046-9_19⟩
Communication dans un congrès hal-00991036v1
Image document

SAT and Hybrid models of the Car-Sequencing problem

 Christian Artigues , Emmanuel Hébrard , Valentin Mayer-Eichberger , Mohamed Siala , Toby Walsh
Third International Workshop on the Cross-Fertilization Between CSP and SAT, in conjunction with CP 2013, Sep 2013, Uppsala, Sweden
Communication dans un congrès hal-00871729v2