| Accueil |
 |
|
|
 |
| Équipes |
|
|
|
 |
| Projets struct. |
|
|
|
|
| Vie du laboratoire |
|
|
|
|
|
 |
Djamal HABET
|
 |
|
|
|
Membre de l'équipe INCA |
| |
| Fonction : |
Maître de conférences (MCF) |
| UFR : |
Université Aix-Marseille (U3) |
| |
| Tél. : |
04 91 28 83 21 |
| Fax : | 04 91 28 83 34 |
| E-mail : |
djamal habet lsisorg |
| Web : |
http://www.lsis.org/~habetd/ |
| |
| Adresse : |
LSIS - UMR 6168
Faculté des Sciences et Techniques de Saint-Jérôme - Case Cour A
Avenue Escadrille Normandie-Niemen
13397 Marseille Cedex 20 |
|
PUBLICATIONS
|
|
2007 | Conférences avec actes | Internationales | | |
[1] D. Habet, L. Paris, Belaid Benhamou, “Consistent Neighborhood for the Satisfiability Problem”, in: Proceedings of the 19th International Conference on Tools with Artificial Intelligence (ICTAI'07), pp. 497-501, IEEE, Patras, Greece, novembre 2007.[bib] |
|
|
|
[2] D. Habet, Michel Vasquez, “Improving Local Search for Satisfiability Problem by Integrating Structural Properties”, in: The 5th International Conference on Research, Innovation and Vision for the Future (RIVF'07), mars 2007. à paraître.[bib] |
|
|
Nationales | | |
[3] L. Paris, D. Habet, B. Benhamou, “Voisinage consistant pour le problème de satisfaisabilité”, in: Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 58-66, Rocquencourt, France, juin 2007.[bib] |
|
|
2006 | Articles (revue) | Internationaux | | |
[4] D. Habet, Michel Vasquez, Yannick Vimont, “Bounding the Optimum for the Problem of Scheduling the Photographs of an Agile Earth Observing Satellite”, in: Journal of Computational Optimization and Applications, décembre 2006. à paraître.[bib] |
|
|
2005 | Chapitres d'ouvrages | | |
[5] Michel Vasquez, Audrey Dupont, D. Habet, “Consistent Neighborhood in a Tabu Search”, in: Kluwer Academic Publishers (Ed.), ``Metaheuristics: Progress as real Problem Sovers, MIC 2003 Post-conference volume'', 2005.[bib] |
|
|
Conférences avec actes | Internationales | | |
[6] D. Habet, Michel Vasquez, “Using Variable Dependencies to solve SAT Problem”, in: Sixth Metaheuristics International Conference, Vienna, Austria, 2005.[bib] |
|
|
Nationales | | |
[7] D. Habet, Michel Vasquez, Audrey Dupont, “Voisinage consistant sur des configurations partielles pour la résolution de problèmes réels de grande taille”, in: Actes des Premières Journées Francophones de Programmation par Contraintes (JFPC'2005), pp. 439, 442, Lens, France, 2005.[bib] |
|
|
Conférences sans actes | | |
[8] Michel Vasquez, Audrey Dupont, D. Habet, “Neighborhood Design by Consistency Checking”, in: International Federation of Operational Research Societies (IFORS), Hawaï, 2005. Papier Invité.[bib] |
|
|
|
[9] A. Dupont, M. Vasquez, D. Habet, “Consistent Neighbourhood in a Tabu Search”, in: Workshop on Combination of metaheuristic and local search with Constraint Programming techniques (MLS+CP), University of Nantes, Nantes - France, November 2005.[bib] |
|
|
|
[10] Michel Vasquez, D. Habet, “Cooperative Approach for the Satisfiability Problem”, in: International Federation of Operational Research Societies (IFORS), Hawaï, July 2005. Papier Invité.[bib] |
|
|
2004 | Articles (revue) | Internationaux | | |
[11] Michel Vasquez, Audrey Dupont, D. Habet, “Consistency Checking within Local Search Applied to the Frequency Assignment Problem with Polarization”, in: RAIRO Operations Research, vol. 37, pp. 311-323, 2004. EDP Sciences.[bib] |
|
|
Conférences avec actes | Internationales | | |
[12] D. Habet, Michel Vasquez, “Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic”, in: Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), IEEE Computer Society, 2004.[bib] |
|
|
|
[13] D. Habet, Michel Vasquez, “Cooperative Approach for the Satisfiability Problem”, in: Proceedings of the Third International Conference on Information, pp. 355-358, Tokyo, Japan, 2004.[bib] |
|
|
|
[14] Michel Vasquez, D. Habet, Y. Vimont, Joël Vlasak, “Scheduling Photographs of an Agile Earth Observing Satellite by a Tabu Search on a Consistent Neighborhood”, in: Proceedings of the International Symposium on Scheduling (ISS 2004), pp. 44-48, Hyogo, Japan, 2004.[bib] |
|
|
|
[15] Michel Vasquez, D. Habet, “Using Symmetries for Coloring Queen Graphs”, in: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), IOS Press, pp. 226-230, 2004.[bib] |
|
|
Nationales | | |
[16] Michel Vasquez, D. Habet, “Algorithmes complet et incomplet pour la coloration des graphes de reines”, in: Actes des Tréizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes (JFPLC'2004), pp. 239, 252, Hermès, Angers, France, 2004.[bib] |
|
|
Thèse | | |
[17] D. Habet, Thèse : “Coopération entre recherches locale et exhaustive pour l'optimisation combinatoire”, Thèse de doctorat, Université de Picardie Jules Verne, Ecole des Mines d'Alès (LGI2P, Nîmes), Amiens, Décembre 2004.[bib] |
|
|
2003 | Conférences avec actes | Internationales | | |
[18] D. Habet, Michel Vasquez, “Consistent and Saturated Neighborhood for Selecting and Scheduling Photographs of an Agile Earth Observing Satellite”, in: Actes de l'Ecole de l'Automne de Recherche Opérationnelle (EARO), pp. 125-130, Tours, France, 2003.[bib] |
|
|
|
[19] Michel Vasquez, Audrey Dupont, D. Habet, “Consistent Neighborhood in a Tabu Search”, in: Proccedings of the Fifth Metaheuristics International Conference (MIC'2003), pp. 77 : 1-6, Kyoto, Japan, 2003.[bib] |
|
|
|
[20] Michel Vasquez, Djamal Habet, Audrey Dupont, “Neighborhood Design by Consistency Checking”, in: Actes du cinquième congrès de la société Française de Recherche Opérationnelle et d'Aide à la décision (ROADEF'2003), pp. 404, Avignon, France, 2003.[bib] |
|
|
|
[21] D. Habet, Michel Vasquez, “Consistent and Saturated Neighborhood for Selecting and Scheduling Photographs of an Agile Earth Observing Satellite”, in: Proceedings of the Fifth Metaheuristics International Conference (MIC 2003), pp. 28 : 1-6, Kyoto, Japan, 2003.[bib] |
|
|
Nationales | | |
[22] D. Habet, Michel Vasquez, “Gestion de la mission d'un satellite agile d'observation de la Terre”, in: Actes du cinquième congrès de la société Française de Recherche Opérationnelle et d'Aide à la décision, Avignon, France, 2003. Challenge ROADEF'2003 - Livret de résumés.[bib] |
|
|
Conférences sans actes | | |
[23] D. Habet, Michel Vasquez, “Tabu Search on a Consistent and Saturated Neighborhood for Selecting and Scheduling Photographs of an Agile Earth Observing Satellite”, in: Bulletin de la société française de recherche Opérationnelle et d'Aide à la Décision (ROADEF), n° 10, pp. 11-14, 2003. Papier Invité.[bib] |
|
|
2002 | Conférences avec actes | Internationales | | |
[24] D. Habet, Chu Min Li, Laure Devendeville, Michel Vasquez, “A Hybrid Approach for SAT”, in: Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'02), Springer, Lecture Notes in Computer Science (LNCS), vol. 2470, pp. 172-184, 2002.[bib] |
|
|
|
[25] Michel Vasquez, D. Habet, Audrey Dupont, “Neighborhood Design by Consistency Checking”, in: Proceedings of the International workshop on Heuristics (IWH'02), vol. 4, pp. 19-27, Beijing, China, 2002.[bib] |
|
|
Nationales | | |
[26] D. Habet, Chu Min Li, Laure Devendeville, Jean-Luc Guérin, Michel Vasquez, “Une approche hybride pour SAT”, in: Actes des huitièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets (JNPC'02), pp. 115-125, Nice, France, 2002.[bib] |
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
