
Search the dblp DataBase
Mohamed Elbachir Menai:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Mohamed Elbachir Menai, Mohamed Batouche
A BackboneBased Coevolutionary Heuristic for Partial MAXSAT. [Citation Graph (0, 0)][DBLP] Artificial Evolution, 2005, pp:155166 [Conf]
 Mohamed Elbachir Menai
An Evolutionary Local Search Method for Incremental Satisfiability. [Citation Graph (0, 0)][DBLP] AISC, 2004, pp:143156 [Conf]
 Mohamed Elbachir Menai, Mohamed Batouche
'External Optimization' for MaxSAT. [Citation Graph (0, 0)][DBLP] ICAI, 2002, pp:954958 [Conf]
 Mohamed Elbachir Menai, Mohamed Batouche
A BoseEinstein Extremal Optimization Method for Solving RealWorld Instances of Maximum Satisfiablility. [Citation Graph (0, 0)][DBLP] ICAI, 2003, pp:257262 [Conf]
 Mohamed Elbachir Menai, Mohamed Batouche
Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem. [Citation Graph (0, 0)][DBLP] IEA/AIE, 2003, pp:592603 [Conf]
 Mohamed Elbachir Menai
A TwoPhase BackboneBased Search Heuristic for Partial MAXSAT  An Initial Investigation. [Citation Graph (0, 0)][DBLP] IEA/AIE, 2005, pp:681684 [Conf]
 Mohamed Elbachir Menai
Solution Reuse in Partial MAXSAT Problem. [Citation Graph (0, 0)][DBLP] IRI, 2004, pp:481486 [Conf]
 Mohamed Elbachir Menai, Mohamed Batouche
An effective heuristic algorithm for the maximum satisfiability problem. [Citation Graph (0, 0)][DBLP] Appl. Intell., 2006, v:24, n:3, pp:227239 [Journal]
 Mohamed Elbachir Menai, Mohamed Batouche
Solving the Maximum Satisfiability Problem Using an Evolutionary Local Search Algorithm. [Citation Graph (0, 0)][DBLP] Int. Arab J. Inf. Technol., 2005, v:2, n:2, pp:154161 [Journal]
A LogicBased Approach to Solve the Steiner Tree Problem. [Citation Graph (, )][DBLP]
Search in 0.018secs, Finished in 0.019secs
