The SCEAS System
| |||||||

## Search the dblp DataBase
Hachemi Bennaceur:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Hachemi Bennaceur
**Boolean approch for representing and solving constraint-satisfaction problems.**[Citation Graph (0, 0)][DBLP] AI*IA, 1995, pp:163-174 [Conf] - Mohamed-Salah Affane, Hachemi Bennaceur
**A Labelling Arc Consistency Method for Functional Constraints.**[Citation Graph (0, 0)][DBLP] CP, 1996, pp:16-30 [Conf] - Hachemi Bennaceur, Mohamed-Salah Affane
**Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency.**[Citation Graph (0, 0)][DBLP] CP, 2001, pp:560-564 [Conf] - Hachemi Bennaceur, Chu Min Li
**Characterizing SAT Problems with the Row Convexity Property.**[Citation Graph (0, 0)][DBLP] CP, 2002, pp:720-725 [Conf] - Mohand Ou Idir Khemmoudj, Hachemi Bennaceur
**Clique Inference Process for Solving Max-CSP.**[Citation Graph (0, 0)][DBLP] CP, 2006, pp:746-750 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] CP, 2006, pp:271-283 [Conf] - Mohand Ou Idir Khemmoudj, Hachemi Bennaceur, Anass Nagih
**Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs.**[Citation Graph (0, 0)][DBLP] CPAIOR, 2005, pp:258-272 [Conf] - Mohamed-Salah Affane, Hachemi Bennaceur
**A Weighted Arc Consistency Technique for MAX-CSP.**[Citation Graph (0, 0)][DBLP] ECAI, 1998, pp:209-213 [Conf] - Hachemi Bennaceur
**Partial Consistency for Constraint-Satisfaction Problems.**[Citation Graph (0, 0)][DBLP] ECAI, 1994, pp:120-124 [Conf] - Hachemi Bennaceur
**The Satisfiability Problem Regarded as a Constraint Satisfaction Problem.**[Citation Graph (0, 0)][DBLP] ECAI, 1996, pp:155-159 [Conf] - Hachemi Bannaceur, Aomar Osmani
**Computing Lower Bound for MAX-CSP Problems.**[Citation Graph (0, 0)][DBLP] IEA/AIE, 2003, pp:614-624 [Conf] - Hachemi Bennaceur, Gérard Plateau
**Theorem Proving by Combinatorial Optimization.**[Citation Graph (0, 0)][DBLP] IWWERT, 1991, pp:90-102 [Conf] - Amar Isli, Hachemi Bennaceur
**Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution.**[Citation Graph (0, 0)][DBLP] TIME, 1996, pp:- [Conf] - Faouzi Boufares, Hachemi Bennaceur, A. Osmani
**On the consistency of cardinality constraints in UML modelling.**[Citation Graph (0, 0)][DBLP] ISPE CE, 2003, pp:287-292 [Conf] - Hachemi Bennaceur
**A Comparison between SAT and CSP Techniques.**[Citation Graph (0, 0)][DBLP] Constraints, 2004, v:9, n:2, pp:123-138 [Journal] - Hachemi Bennaceur, Gérard Plateau
**An Exact Algorithm for the Constraint Satisfaction Problem: Application to Logical Inference.**[Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1993, v:48, n:3, pp:151-158 [Journal] - Mohand Ou Idir Khemmoudj, Hachemi Bennaceur
**Valid Inequality Based Lower Bounds for WCSP.**[Citation Graph (0, 0)][DBLP] CP, 2007, pp:394-408 [Conf] **A Decomposition Technique for Max-CSP.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |