 | 2010 |
|---|
| 11 |       | Djamal Habet,
Philippe Jégou:
Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report.
Abstraction, Reformulation, and Approximation 2010 |
| 2009 |
|---|
| 10 | | Djamal Habet,
Lionel Paris,
Cyril Terrioux:
A Tree Decomposition Based Approach to Solve Structured SAT Instances.
ICTAI 2009: 115-122 |
| 9 | | Djamal Habet:
Tabu Search to Solve Real-Life Combinatorial Optimization Problems: A Case of Study.
Foundations of Computational Intelligence (3) 2009: 129-151 |
| 2008 |
|---|
| 8 | | Djamal Habet:
Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT.
ICTAI (1) 2008: 255-262 |
| 2007 |
|---|
| 7 | | Djamal Habet,
Lionel Paris,
Belaid Benhamou:
Consistent Neighborhood for the Satisfiability Problem.
ICTAI (2) 2007: 497-501 |
| 6 | | Djamal Habet,
Michel Vasquez:
Improving Local Search for Satisfiability Problem by Integrating Structural Properties.
RIVF 2007: 50-57 |
| 2004 |
|---|
| 5 |  | Michel Vasquez,
Djamal Habet:
Complete and Incomplete Algorithms for the Queen Graph Coloring Problem.
ECAI 2004: 226-230 |
| 4 | | Djamal Habet,
Michel Vasquez:
Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic.
ICTAI 2004: 302-309 |
| 3 | | Michel Vasquez,
Djamal Habet:
Algorithmes complet et incomplet pour la coloration des graphes de reines.
JFPLC 2004 |
| 2003 |
|---|
| 2 | | Michel Vasquez,
Audrey Dupont,
Djamal Habet:
Consistency checking within local search applied to the frequency assignment with polarization problem.
RAIRO - Operations Research 37(4): 311-323 (2003) |
| 2002 |
|---|
| 1 | | Djamal Habet,
Chu Min Li,
Laure Devendeville,
Michel Vasquez:
A Hybrid Approach for SAT.
CP 2002: 172-184 |
Data released under the ODC-BY 1.0 license — See also our legal information page