dblp.uni-trier.dewww.uni-trier.de

Djamal Habet

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEDjamal Habet: Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT. ICTAI (1) 2008: 255-262
2007
6EEDjamal Habet, Lionel Paris, Belaid Benhamou: Consistent Neighborhood for the Satisfiability Problem. ICTAI (2) 2007: 497-501
5EEDjamal 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
3EEDjamal 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
1EEDjamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez: A Hybrid Approach for SAT. CP 2002: 172-184

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)