The SCEAS System
Navigation Menu

Search the dblp DataBase


Mohamed El-bachir Menai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mohamed El-bachir Menai, Mohamed Batouche
    A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT. [Citation Graph (0, 0)][DBLP]
    Artificial Evolution, 2005, pp:155-166 [Conf]
  2. Mohamed El-bachir Menai
    An Evolutionary Local Search Method for Incremental Satisfiability. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:143-156 [Conf]
  3. Mohamed El-bachir Menai, Mohamed Batouche
    'External Optimization' for Max-SAT. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2002, pp:954-958 [Conf]
  4. Mohamed El-bachir Menai, Mohamed Batouche
    A Bose-Einstein Extremal Optimization Method for Solving Real-World Instances of Maximum Satisfiablility. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2003, pp:257-262 [Conf]
  5. Mohamed El-bachir Menai, Mohamed Batouche
    Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2003, pp:592-603 [Conf]
  6. Mohamed El-bachir Menai
    A Two-Phase Backbone-Based Search Heuristic for Partial MAX-SAT - An Initial Investigation. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2005, pp:681-684 [Conf]
  7. Mohamed El-bachir Menai
    Solution Reuse in Partial MAX-SAT Problem. [Citation Graph (0, 0)][DBLP]
    IRI, 2004, pp:481-486 [Conf]
  8. Mohamed El-bachir 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:227-239 [Journal]
  9. Mohamed El-bachir 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:154-161 [Journal]

  10. A Logic-Based Approach to Solve the Steiner Tree Problem. [Citation Graph (, )][DBLP]

Search in 0.018secs, Finished in 0.019secs
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