| 2006 |
|---|
| 9 | EE | Mohamed El-bachir Menai,
Mohamed Batouche:
An effective heuristic algorithm for the maximum satisfiability problem.
Appl. Intell. 24(3): 227-239 (2006) |
| 2005 |
|---|
| 8 | EE | Mohamed El-bachir Menai,
Mohamed Batouche:
A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT.
Artificial Evolution 2005: 155-166 |
| 7 | EE | Mohamed El-bachir Menai:
A Two-Phase Backbone-Based Search Heuristic for Partial MAX-SAT - An Initial Investigation.
IEA/AIE 2005: 681-684 |
| 6 | EE | Mohamed El-bachir Menai,
Mohamed Batouche:
Solving the Maximum Satisfiability Problem Using an Evolutionary Local Search Algorithm.
Int. Arab J. Inf. Technol. 2(2): 154-161 (2005) |
| 2004 |
|---|
| 5 | EE | Mohamed El-bachir Menai:
An Evolutionary Local Search Method for Incremental Satisfiability.
AISC 2004: 143-156 |
| 4 | | Mohamed El-bachir Menai:
Solution Reuse in Partial MAX-SAT Problem.
IRI 2004: 481-486 |
| 2003 |
|---|
| 3 | | Mohamed El-bachir Menai,
Mohamed Batouche:
A Bose-Einstein Extremal Optimization Method for Solving Real-World Instances of Maximum Satisfiablility.
IC-AI 2003: 257-262 |
| 2 | EE | Mohamed El-bachir Menai,
Mohamed Batouche:
Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem.
IEA/AIE 2003: 592-603 |
| 2002 |
|---|
| 1 | | Mohamed El-bachir Menai,
Mohamed Batouche:
'External Optimization' for Max-SAT.
IC-AI 2002: 954-958 |
