Djamal Habet

2008
7	EE	Djamal Habet: Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT. ICTAI (1) 2008: 255-262
2007
6	EE	Djamal Habet, Lionel Paris, Belaid Benhamou: Consistent Neighborhood for the Satisfiability Problem. ICTAI (2) 2007: 497-501
5	EE	Djamal Habet, Michel Vasquez: Improving Local Search for Satisfiability Problem by Integrating Structural Properties. RIVF 2007: 50-57
2004
4		Michel Vasquez, Djamal Habet: Complete and Incomplete Algorithms for the Queen Graph Coloring Problem. ECAI 2004: 226-230
3	EE	Djamal Habet, Michel Vasquez: Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic. ICTAI 2004: 302-309
2		Michel Vasquez, Djamal Habet: Algorithmes complet et incomplet pour la coloration des graphes de reines. JFPLC 2004
2002
1	EE	Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez: A Hybrid Approach for SAT. CP 2002: 172-184

Coauthor Index

1	Belaid Benhamou	[6]
2	Laure Devendeville	[1]
3	Chu Min Li	[1]
4	Lionel Paris	[6]
5	Michel Vasquez	[1] [2] [3] [4] [5]

Colors in the list of coauthors