Habet, Djamal, 1975-....
VIAF ID: 202134990 ( Personal )
Permalink: http://viaf.org/viaf/202134990
Preferred Forms
- 100 1 _ ‡a Habet, Djamal ‡d 1975-...
- 100 1 _ ‡a Habet, Djamal, ‡d 1975-....
Works
Title | Sources |
---|---|
Algorithmes d’optimisation pour deux problèmes de sac à dos. | |
Approaches for verification and validation of production models : application to a semiconductor manufacturing plant. | |
Approches pour la vérification et la validation des modèles de production : application à une usine de fabrication de semi-conducteurs | |
Cooperarion between exact and local methods for solving combinatorial problems. | |
Coopération entre recherches locales et exhaustives pour l'optimisation combinatoire | |
Etude des Mécanismes de Transformation de Modèles CSP/SAT | |
Heuristic Algorithms for Graph Coloring Problems | |
Interpretable Machine Learning Models via Maximum Boolean Satisfiability. | |
Max-resolution and learning for solving the Max-SAT problem. | |
Max-résolution et apprentissage pour la résolution du problème de satisfiabilité maximum | |
Optimization algorithms for two knapsack problems | |
Reasoning and inference for (maximum) satisfiability : new insights |