Search the dblp DataBase

Publications of Author

1. Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez
   A Hybrid Approach for SAT. [Citation Graph (0, 0)][DBLP]
   CP, 2002, pp:172-184 [Conf]
   
2. Michel Vasquez, Djamal Habet
   Complete and Incomplete Algorithms for the Queen Graph Coloring Problem. [Citation Graph (0, 0)][DBLP]
   ECAI, 2004, pp:226-230 [Conf]
   
3. Djamal Habet, Michel Vasquez
   Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic. [Citation Graph (0, 0)][DBLP]
   ICTAI, 2004, pp:302-309 [Conf]
   
4. Michel Vasquez, Djamal Habet
   Algorithmes complet et incomplet pour la coloration des graphes de reines. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2004, pp:- [Conf]
   
5. 
   Consistent Neighborhood for the Satisfiability Problem. [Citation Graph (, )][DBLP]
   
   
6. 
   Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT. [Citation Graph (, )][DBLP]
   
   
7. 
   A Tree Decomposition Based Approach to Solve Structured SAT Instances. [Citation Graph (, )][DBLP]
   
   
8. 
   Improving Local Search for Satisfiability Problem by Integrating Structural Properties. [Citation Graph (, )][DBLP]