- 11
- 2
- 1
MS
Mohamed Siala
14
Documents
Identifiants chercheurs
- mohamed-siala
- 0000-0001-9503-4091
- IdRef : 186243138
Présentation
Publications
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 7
- 7
- 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
- 1
- 1
- 1
- 1
- 12
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 2
- 2
|
A study of constraint programming heuristics for the car-sequencing problemEngineering Applications of Artificial Intelligence, 2015, 38, pp.34 - 44. ⟨10.1016/j.engappai.2014.10.009⟩
Article dans une revue
hal-01084239v1
|
|
An Optimal Arc Consistency Algorithm for a Particular Case of Sequence ConstraintConstraints, 2014, 19 (1), pp.30-56. ⟨10.1007/s10601-013-9150-6⟩
Article dans une revue
hal-00876594v1
|
|
Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoostIJCAI-PRICAI 2020, 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan
Communication dans un congrès
hal-02740415v1
|
Towards Formal Fairness in Machine Learning26th International Conference on Principles and Practice of Constraint Programming (CP 2020), Sep 2020, Louvain (online), Belgium. pp.846-867, ⟨10.1007/978-3-030-58475-7_49⟩
Communication dans un congrès
hal-02950860v1
|
|
|
Explanation-Based Weighted DegreeCPAIOR, Jun 2017, Padoue, Italy. 9p
Communication dans un congrès
hal-01670307v1
|
|
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
|
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
|
|
|
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
|
|
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
|
|
An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with CardinalityEighteenth International Conference on Principles and Practice of Constraint Programming, Oct 2012, Quebec, Canada. pp.55-69, ⟨10.1007/978-3-642-33558-7_7⟩
Communication dans un congrès
hal-00713860v1
|
|
Algorithme optimal d'arc-consistance pour une séquence de contraintes AtMost avec cardinalitéJFPC 2012, May 2012, Toulouse, France. 10 p
Communication dans un congrès
hal-00812413v1
|
|
Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRSRapport LAAS n° 19270. 2019
Autre rapport, séminaire, workshop
hal-02295816v1
|