The SCEAS System
Navigation Menu

Search the dblp DataBase


Hachemi Bennaceur: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hachemi Bennaceur
    Boolean approch for representing and solving constraint-satisfaction problems. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1995, pp:163-174 [Conf]
  2. Mohamed-Salah Affane, Hachemi Bennaceur
    A Labelling Arc Consistency Method for Functional Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:16-30 [Conf]
  3. 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]
  4. Hachemi Bennaceur, Chu Min Li
    Characterizing SAT Problems with the Row Convexity Property. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:720-725 [Conf]
  5. Mohand Ou Idir Khemmoudj, Hachemi Bennaceur
    Clique Inference Process for Solving Max-CSP. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:746-750 [Conf]
  6. 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]
  7. 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]
  8. Mohamed-Salah Affane, Hachemi Bennaceur
    A Weighted Arc Consistency Technique for MAX-CSP. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:209-213 [Conf]
  9. Hachemi Bennaceur
    Partial Consistency for Constraint-Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:120-124 [Conf]
  10. Hachemi Bennaceur
    The Satisfiability Problem Regarded as a Constraint Satisfaction Problem. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:155-159 [Conf]
  11. Hachemi Bannaceur, Aomar Osmani
    Computing Lower Bound for MAX-CSP Problems. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2003, pp:614-624 [Conf]
  12. Hachemi Bennaceur, Gérard Plateau
    Theorem Proving by Combinatorial Optimization. [Citation Graph (0, 0)][DBLP]
    IWWERT, 1991, pp:90-102 [Conf]
  13. 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]
  14. 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]
  15. Hachemi Bennaceur
    A Comparison between SAT and CSP Techniques. [Citation Graph (0, 0)][DBLP]
    Constraints, 2004, v:9, n:2, pp:123-138 [Journal]
  16. 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]
  17. Mohand Ou Idir Khemmoudj, Hachemi Bennaceur
    Valid Inequality Based Lower Bounds for WCSP. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:394-408 [Conf]

  18. A Decomposition Technique for Max-CSP. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002