 | 2009 |
|---|
| 19 |       | Mohand Ou Idir Khemmoudj,
Hachemi Bennaceur:
Clique inference process for solving Max-CSP.
European Journal of Operational Research 199(3): 665-673 (2009) |
| 2008 |
|---|
| 18 | | Hachemi Bennaceur,
Christophe Lecoutre,
Olivier Roussel:
A Decomposition Technique for Max-CSP.
ECAI 2008: 500-504 |
| 2007 |
|---|
| 17 | | Mohand Ou Idir Khemmoudj,
Hachemi Bennaceur:
Valid Inequality Based Lower Bounds for WCSP.
CP 2007: 394-408 |
| 2006 |
|---|
| 16 | | Mohand Ou Idir Khemmoudj,
Marc Porcheron,
Hachemi Bennaceur:
When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages.
CP 2006: 271-283 |
| 15 | | Mohand Ou Idir Khemmoudj,
Hachemi Bennaceur:
Clique Inference Process for Solving Max-CSP.
CP 2006: 746-750 |
| 2005 |
|---|
| 14 | | Mohand Ou Idir Khemmoudj,
Hachemi Bennaceur,
Anass Nagih:
Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs.
CPAIOR 2005: 258-272 |
| 2004 |
|---|
| 13 | | Hachemi Bennaceur:
A Comparison between SAT and CSP Techniques.
Constraints 9(2): 123-138 (2004) |
| 2003 |
|---|
| 12 |  | Faouzi Boufares,
Hachemi Bennaceur,
A. Osmani:
On the consistency of cardinality constraints in UML modelling.
ISPE CE 2003: 287-292 |
| 2002 |
|---|
| 11 | | Hachemi Bennaceur,
Chu Min Li:
Characterizing SAT Problems with the Row Convexity Property.
CP 2002: 720-725 |
| 2001 |
|---|
| 10 | | Hachemi Bennaceur,
Mohamed-Salah Affane:
Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency.
CP 2001: 560-564 |
| 1998 |
|---|
| 9 | | Mohamed-Salah Affane,
Hachemi Bennaceur:
A Weighted Arc Consistency Technique for MAX-CSP.
ECAI 1998: 209-213 |
| 8 | | Hachemi Bennaceur,
Idir Gouachi,
Gérard Plateau:
An Incremental Branch-and-Bound Method for the Satisfiability Problem.
INFORMS Journal on Computing 10(3): 301-308 (1998) |
| 1996 |
|---|
| 7 | | Mohamed-Salah Affane,
Hachemi Bennaceur:
A Labelling Arc Consistency Method for Functional Constraints.
CP 1996: 16-30 |
| 6 | | Hachemi Bennaceur:
The Satisfiability Problem Regarded as a Constraint Satisfaction Problem.
ECAI 1996: 155-159 |
| 5 | | Amar Isli,
Hachemi Bennaceur:
Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution.
TIME 1996 |
| 1995 |
|---|
| 4 | | Hachemi Bennaceur:
Boolean approch for representing and solving constraint-satisfaction problems.
AI*IA 1995: 163-174 |
| 1994 |
|---|
| 3 | | Hachemi Bennaceur:
Partial Consistency for Constraint-Satisfaction Problems.
ECAI 1994: 120-124 |
| 1993 |
|---|
| 2 | | Hachemi Bennaceur,
Gérard Plateau:
An Exact Algorithm for the Constraint Satisfaction Problem: Application to Logical Inference.
Inf. Process. Lett. 48(3): 151-158 (1993) |
| 1991 |
|---|
| 1 | | Hachemi Bennaceur,
Gérard Plateau:
Theorem Proving by Combinatorial Optimization.
IWWERT 1991: 90-102 |
