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

Hachemi Bennaceur Vis

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

*2009
19EEMohand Ou Idir Khemmoudj, Hachemi Bennaceur: Clique inference process for solving Max-CSP. European Journal of Operational Research 199(3): 665-673 (2009)
2008
18EEHachemi Bennaceur, Christophe Lecoutre, Olivier Roussel: A Decomposition Technique for Max-CSP. ECAI 2008: 500-504
2007
17EEMohand Ou Idir Khemmoudj, Hachemi Bennaceur: Valid Inequality Based Lower Bounds for WCSP. CP 2007: 394-408
2006
16EEMohand 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
15EEMohand Ou Idir Khemmoudj, Hachemi Bennaceur: Clique Inference Process for Solving Max-CSP. CP 2006: 746-750
2005
14EEMohand Ou Idir Khemmoudj, Hachemi Bennaceur, Anass Nagih: Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs. CPAIOR 2005: 258-272
2004
13EEHachemi 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
11EEHachemi Bennaceur, Chu Min Li: Characterizing SAT Problems with the Row Convexity Property. CP 2002: 720-725
2001
10EEHachemi 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
8EEHachemi 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

Coauthor Index

1Mohamed-Salah Affane [7] [9] [10]
2Faouzi Boufares [12]
3Idir Gouachi [8]
4Amar Isli [5]
5Mohand Ou Idir Khemmoudj [14] [15] [16] [17] [19]
6Christophe Lecoutre [18]
7Chu Min Li [11]
8Anass Nagih [14]
9A. Osmani [12]
10Gérard Plateau [1] [2] [8]
11Marc Porcheron [16]
12Olivier Roussel [18]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)