The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Djamal Habet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002