Mohamed El-bachir Menai Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-bachir Menai, Tasniem Nasser Al-Yahya: A Taxonomy of Exact Methods for Partial Max-SAT. J. Comput. Sci. Technol. 28(2): 232-246 (2013)
2012
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Najwa Altwaijry, Mohamed El-bachir Menai: Data Structures in Multi-Objective Evolutionary Algorithms. J. Comput. Sci. Technol. 27(6): 1197-1210 (2012)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-bachir Menai, Wojdan Alsaeedan: Genetic Algorithm for Arabic Word Sense Disambiguation. SNPD 2012: 195-200
2011
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sarab Al Muhaideb, Mohamed El-bachir Menai: Evolutionary computation approaches to the Curriculum Sequencing problem. Natural Computing 10(2): 891-920 (2011)
2009
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-bachir Menai: A Logic-Based Approach to Solve the Steiner Tree Problem. AIAI 2009: 73-79
2006
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-bachir Menai, Mohamed Batouche: An effective heuristic algorithm for the maximum satisfiability problem. Appl. Intell. 24(3): 227-239 (2006)
2005
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-bachir Menai, Mohamed Batouche: A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT. Artificial Evolution 2005: 155-166
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-bachir Menai: A Two-Phase Backbone-Based Search Heuristic for Partial MAX-SAT - An Initial Investigation. IEA/AIE 2005: 681-684
2004
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-bachir Menai: An Evolutionary Local Search Method for Incremental Satisfiability. AISC 2004: 143-156
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-bachir Menai: Solution Reuse in Partial MAX-SAT Problem. IRI 2004: 481-486
2003
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-bachir Menai, Mohamed Batouche: Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem. IEA/AIE 2003: 592-603
2002
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-bachir Menai, Mohamed Batouche: 'External Optimization' for Max-SAT. IC-AI 2002: 954-958

Coauthor Index

1Tasniem Nasser Al-Yahya
[j5]
2Wojdan Alsaeedan
[c9]
3Najwa Altwaijry
[j4]
4Mohamed Batouche
[j2] [j1] [c7] [c3] [c2] [c1]
5Sarab Al Muhaideb
[j3]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 04:15:02 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page