Theorem Proving by Combinatorial Optimization. - Hachemi Bennaceur; Gérard Plateau (IWWERT, 1991)

An Exact Algorithm for the Constraint Satisfaction Problem: Application to Logical Inference. - Hachemi Bennaceur; Gérard Plateau (Inf. Process. Lett., 1993)

Partial Consistency for Constraint-Satisfaction Problems. - Hachemi Bennaceur (ECAI, 1994)

Boolean approch for representing and solving constraint-satisfaction problems. - Hachemi Bennaceur (AI*IA, 1995)

A Labelling Arc Consistency Method for Functional Constraints. - Mohamed-Salah Affane; Hachemi Bennaceur (CP, 1996)

The Satisfiability Problem Regarded as a Constraint Satisfaction Problem. - Hachemi Bennaceur (ECAI, 1996)

Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution. - Amar Isli; Hachemi Bennaceur (TIME, 1996)

A Weighted Arc Consistency Technique for MAX-CSP. - Mohamed-Salah Affane; Hachemi Bennaceur (ECAI, 1998)

An Incremental Branch-and-Bound Method for the Satisfiability Problem. - Hachemi Bennaceur; Idir Gouachi; Gérard Plateau (INFORMS J. Comput., 1998)

Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency. - Hachemi Bennaceur; Mohamed-Salah Affane (CP, 2001)

Characterizing SAT Problems with the Row Convexity Property. - Hachemi Bennaceur; Chu Min Li 001 (CP, 2002)

Computing Lower Bound for MAX-CSP Problems. - Hachemi Bennaceur; Aomar Osmani (IEA/AIE, 2003)

On the consistency of cardinality constraints in UML modelling. - Faouzi Boufarès; Hachemi Bennaceur; Aomar Osmani (CE, 2003)

A Comparison between SAT and CSP Techniques. - Hachemi Bennaceur (Constraints An Int. J., 2004)

Consistency problems in ER-schemas for database systems. - Faouzi Boufarès; Hachemi Bennaceur (Inf. Sci., 2004)

Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs. - Mohand Ou Idir Khemmoudj; Hachemi Bennaceur; Anass Nagih (CPAIOR, 2005)

When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages. - Mohand Ou Idir Khemmoudj; Marc Porcheron; Hachemi Bennaceur (CP, 2006)

Valid Inequality Based Lower Bounds for WCSP. - Mohand Ou Idir Khemmoudj; Hachemi Bennaceur (CP, 2007)

A Decomposition Technique for Max-CSP. - Hachemi Bennaceur; Christophe Lecoutre; Olivier Roussel (ECAI, 2008)

Clique inference process for solving Max-CSP. - Mohand Ou Idir Khemmoudj; Hachemi Bennaceur (Eur. J. Oper. Res., 2009)

smartPATH: A hybrid ACO-GA algorithm for robot path planning. - Imen Châari; Anis Koubaa; Hachemi Bennaceur; Sahar Trigui; Khaled Al-Shalfan (IEEE Congress on Evolutionary Computation, 2012)

On the Adequacy of Tabu Search for Global Robot Path Planning Problem in Grid Environments. - Imen Châari; Anis Koubâa; Hachemi Bennaceur; Adel Ammar; Sahar Trigui; Mohamed Tounsi 002; Elhadi M. Shakshuki; Habib Youssef (ANT/SEIT, 2014)

A Distributed Market-based Algorithm for the Multi-robot Assignment Problem. - Sahar Trigui; Anis Koubâa; Omar Cheikhrouhou; Habib Youssef; Hachemi Bennaceur; Mohamed-Foued Sriti; Yasir Javed (ANT/SEIT, 2014)

Move and improve: A distributed multi-robot coordination approach for multiple depots multiple travelling salesmen problem. - Omar Cheikhrouhou; Anis Koubaa; Hachemi Bennaceur (ICARSC, 2014)

COROS: A Multi-Agent Software Architecture for Cooperative and Autonomous Service Robots. - Anis Koubâa; Mohamed-Foued Sriti; Hachemi Bennaceur; Adel Ammar; Yasir Javed; Maram Alajlan; Nada Al-Elaiwi; Mohamed Tounsi 002; Elhadi M. Shakshuki (Advances in Social Media Analysis, 2015)

An efficient Genetic Algorithm for the global robot path planning problem. - Sarah Alnasser; Hachemi Bennaceur (DICTAP, 2016)

Enhanced Genetic Algorithm for Mobile Robot Path Planning in Static and Dynamic Environment. - Hanan Alsouly; Hachemi Bennaceur (IJCCI (ECTA), 2016)

Global robot Path Planning using GA for Large Grid Maps: Modelling, Performance and Experimentation. - Maram Alajlan; Imen Châari; Anis Koubaa; Hachemi Bennaceur; Adel Ammar; Habib Youssef (Int. J. Robotics Autom., 2016)

Relaxed Dijkstra and A* with linear complexity for robot path planning problems in large-scale grid environments. - Adel Ammar; Hachemi Bennaceur; Imen Châari; Anis Koubâa; Maram Alajlan (Soft Comput., 2016)

Frequency model based crossover operators for genetic algorithms applied to the quadratic assignment problem. - Hachemi Bennaceur; Zakir Ahmed (Int. Arab J. Inf. Technol., 2017)

Move and Improve: a Market-Based Mechanism for the Multiple Depot Multiple Travelling Salesmen Problem. - Anis Koubâa; Omar Cheikhrouhou; Hachemi Bennaceur; Mohamed-Foued Sriti; Yasir Javed; Adel Ammar (J. Intell. Robotic Syst., 2017)

Robot Path Planning and Cooperation - Foundations, Algorithms and Experimentations - Anis Koubaa; Hachemi Bennaceur; Imen Châari; Sahar Trigui; Adel Ammar; Mohamed-Foued Sriti; Maram Alajlan; Omar Cheikhrouhou; Yasir Javed (Springer, 2018)

Genetic Algorithm Combined with the K-Means Algorithm: A Hybrid Technique for Unsupervised Feature Selection. - Hachemi Bennaceur; Meznah Almutairy; Norah Alhussain (Intell. Autom. Soft Comput., 2023)