- 4
- 2
- 1
MS
Mohamed Siala
7
Documents
Identifiants chercheurs
- mohamed-siala
- 0000-0001-9503-4091
- IdRef : 186243138
Présentation
Publications
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 7
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 3
- 2
|
Two Clause Learning Approaches for Disjunctive SchedulingPrinciples and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.393-402, ⟨10.1007/978-3-319-23219-5_28⟩
Communication dans un congrès
hal-01229050v1
|
|
SAT and Hybrid Models of the Car Sequencing Problem11th 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
|
|
Solving hard sequencing problems via the AtMostSeqCard constraintROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
Communication dans un congrès
hal-00946361v2
|
Analyse de conflit non-standard pour résoudre le problème de Job-ShopROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
Communication dans un congrès
hal-00946365v1
|
|
|
Explaining the AtMostSeqCard constraintDoctoral Program Workshop at CP2013, Sep 2013, Uppsala, Sweden
Communication dans un congrès
hal-00871706v1
|
|
SAT and Hybrid models of the Car-Sequencing problemThird 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
|
|
Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRSRapport LAAS n° 19270. 2019
Autre rapport, séminaire, workshop
hal-02295816v1
|