Hachemi Bennaceur Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Imen Chaari, Anis Koubaa, Hachemi Bennaceur, Sahar Trigui, Khaled Al-Shalfan: smartPATH: A hybrid ACO-GA algorithm for robot path planning. IEEE Congress on Evolutionary Computation 2012: 1-8
2009
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohand Ou Idir Khemmoudj, Hachemi Bennaceur: Clique inference process for solving Max-CSP. European Journal of Operational Research 199(3): 665-673 (2009)
2008
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel: A Decomposition Technique for Max-CSP. ECAI 2008: 500-504
2007
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohand Ou Idir Khemmoudj, Hachemi Bennaceur: Valid Inequality Based Lower Bounds for WCSP. CP 2007: 394-408
2006
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohand Ou Idir Khemmoudj, Hachemi Bennaceur: Clique Inference Process for Solving Max-CSP. CP 2006: 746-750
2005
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohand Ou Idir Khemmoudj, Hachemi Bennaceur, Anass Nagih: Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs. CPAIOR 2005: 258-272
2004
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hachemi Bennaceur: A Comparison between SAT and CSP Techniques. Constraints 9(2): 123-138 (2004)
2003
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hachemi Bennaceur, Aomar Osmani: Computing Lower Bound for MAX-CSP Problems. IEA/AIE 2003: 614-624
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Faouzi Boufarès, Hachemi Bennaceur, Aomar Osmani: On the consistency of cardinality constraints in UML modelling. ISPE CE 2003: 287-292
2002
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hachemi Bennaceur, Chu Min Li: Characterizing SAT Problems with the Row Convexity Property. CP 2002: 720-725
2001
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hachemi Bennaceur, Mohamed-Salah Affane: Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency. CP 2001: 560-564
1998
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed-Salah Affane, Hachemi Bennaceur: A Weighted Arc Consistency Technique for MAX-CSP. ECAI 1998: 209-213
1996
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed-Salah Affane, Hachemi Bennaceur: A Labelling Arc Consistency Method for Functional Constraints. CP 1996: 16-30
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hachemi Bennaceur: The Satisfiability Problem Regarded as a Constraint Satisfaction Problem. ECAI 1996: 155-159
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amar Isli, Hachemi Bennaceur: Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution. TIME 1996: 57-62
1995
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hachemi Bennaceur: Boolean approch for representing and solving constraint-satisfaction problems. AI*IA 1995: 163-174
1994
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hachemi Bennaceur: Partial Consistency for Constraint-Satisfaction Problems. ECAI 1994: 120-124
1993
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hachemi Bennaceur, Gérard Plateau: Theorem Proving by Combinatorial Optimization. IWWERT 1991: 90-102

Coauthor Index

1Mohamed-Salah Affane
[c8] [c7] [c6]
2Khaled Al-Shalfan
[c17]
3Faouzi Boufarès
[c10]
4Imen Chaari
[c17]
5Idir Gouachi
[j2]
6Amar Isli
[c4]
7Mohand Ou Idir Khemmoudj
[j4] [c15] [c14] [c13] [c12]
8Anis Koubaa
[c17]
9Christophe Lecoutre
[c16]
10Chu Min Li
[c9]
11Anass Nagih
[c12]
12Aomar Osmani
[c11] [c10]
13Gérard Plateau
[j2] [j1] [c1]
14Marc Porcheron
[c14]
15Olivier Roussel
[c16]
16Sahar Trigui
[c17]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 16:58:34 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page