'External Optimization' for Max-SAT. - Mohamed El-bachir Menai; Mohamed Batouche (IC-AI, 2002)

A Bose-Einstein Extremal Optimization Method for Solving Real-World Instances of Maximum Satisfiablility. - Mohamed El-bachir Menai; Mohamed Batouche (IC-AI, 2003)

Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem. - Mohamed El-bachir Menai; Mohamed Batouche (IEA/AIE, 2003)

An Evolutionary Local Search Method for Incremental Satisfiability. - Mohamed El-bachir Menai (AISC, 2004)

Solution Reuse in Partial MAX-SAT Problem. - Mohamed El-bachir Menai (IRI, 2004)

A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT. - Mohamed El-bachir Menai; Mohamed Batouche (Artificial Evolution, 2005)

A Two-Phase Backbone-Based Search Heuristic for Partial MAX-SAT - An Initial Investigation. - Mohamed El-bachir Menai (IEA/AIE, 2005)

Solving the Maximum Satisfiability Problem Using an Evolutionary Local Search Algorithm. - Mohamed El-bachir Menai; Mohamed Batouche (Int. Arab J. Inf. Technol., 2005)

An effective heuristic algorithm for the maximum satisfiability problem. - Mohamed El-bachir Menai; Mohamed Batouche (Appl. Intell., 2006)

A Logic-Based Approach to Solve the Steiner Tree Problem. - Mohamed El-bachir Menai (AIAI, 2009)

Evolutionary computation approaches to the Curriculum Sequencing problem. - Sarab Al Muhaideb; Mohamed El-bachir Menai (Nat. Comput., 2011)

Genetic Algorithm for Arabic Word Sense Disambiguation. - Mohamed El-bachir Menai; Wojdan Alsaeedan (SNPD, 2012)

Data Structures in Multi-Objective Evolutionary Algorithms. - Najwa Altwaijry; Mohamed El-bachir Menai (J. Comput. Sci. Technol., 2012)

A Swarm Random Walk Algorithm for Global Continuous Optimization. - Najwa Altwaijry; Mohamed El-bachir Menai (ICGEC, 2013)

Artificial bee colony for the standard cell placement problem. - Najwa Altwaijry; Mohamed El-bachir Menai (Int. J. Metaheuristics, 2013)

Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers. - Mohamed El-bachir Menai; Tasniem Nasser Al-Yahya (Informatica (Slovenia), 2013)

A Taxonomy of Exact Methods for Partial Max-SAT. - Mohamed El-bachir Menai; Tasniem Nasser Al-Yahya (J. Comput. Sci. Technol., 2013)

Hybrid Metaheuristics for Medical Data Classification. - Sarab Al Muhaideb; Mohamed El-bachir Menai (Hybrid Metaheuristics, 2013)

Differential Diagnosis of Erythemato-Squamous Diseases Using Ensemble of Decision Trees. - Mohamed El-bachir Menai; Nuha Altayash (IEA/AIE (2), 2014)

HColonies: a new hybrid metaheuristic for medical data classification. - Sarab Al Muhaideb; Mohamed El-bachir Menai (Appl. Intell., 2014)

Word sense disambiguation using evolutionary algorithms - Application to Arabic language. - Mohamed El Bachir Menai (Comput. Hum. Behav., 2014)

A new hybrid metaheuristic for medical data classification. - Sarab Al Muhaideb; Mohamed El-bachir Menai (Int. J. Metaheuristics, 2014)

Cryptanalysis of classical ciphers with ant algorithms. - Tahar Mekhaznia 001; Mohamed El Bachir Menai (Int. J. Metaheuristics, 2014)

Word Sense Disambiguation Using an Evolutionary Approach. - Mohamed El Bachir Menai (Informatica (Slovenia), 2014)

Naïve Bayes classifiers for authorship attribution of Arabic texts. - Alaa Saleh Altheneyan; Mohamed El Bachir Menai (J. King Saud Univ. Comput. Inf. Sci., 2014)

A Self-adaptive Genetic Algorithm for the Word Sense Disambiguation Problem. - Wojdan Alsaeedan; Mohamed El Bachir Menai (IEA/AIE, 2015)

Graph-Based Multi-Document Summarization: An Initial Investigation. - Asma Bader Al-Saleh; Mohamed El Bachir Menai (SGAI Conf., 2015)

Swarm intelligence for natural language processing. - Wojdan Al-Saeedan; Mohamed El Bachir Menai (Int. J. Artif. Intell. Soft Comput., 2015)

Random forests for automatic differential diagnosis of erythemato-squamous diseases. - Mohamed El Bachir Menai (Int. J. Medical Eng. Informatics, 2015)

A Novel Genetic Algorithm for the Word Sense Disambiguation Problem. - Wojdan Alsaeedan; Mohamed El Bachir Menai (Canadian AI, 2016)

Automatic Arabic text summarization: a survey. - Asma Bader Al-Saleh; Mohamed El Bachir Menai (Artif. Intell. Rev., 2016)

Solving the student grouping problem in e-learning systems using swarm intelligence metaheuristics. - Hamad Alhunitah; Mohamed El Bachir Menai (Comput. Appl. Eng. Educ., 2016)

Impact of preprocessing on medical data classification. - Sarab Al Muhaideb; Mohamed El Bachir Menai (Frontiers Comput. Sci., 2016)

A hybrid genetic-ant colony optimization algorithm for the word sense disambiguation problem. - Wojdan Alsaeedan; Mohamed El Bachir Menai; Saad Al-Ahmadi 002 (Inf. Sci., 2017)

Semantic Graph Based Automatic Summarization of Multiple Related Work Sections of Scientific Articles. - Nouf Ibrahim Altmami; Mohamed El Bachir Menai (AIMSA, 2018)

Ant Colony System for Multi-Document Summarization. - Asma Bader Al-Saleh; Mohamed El Bachir Menai (COLING, 2018)

Solving Multi-Document Summarization as an Orienteering Problem. - Asma Bader Al-Saleh; Mohamed El Bachir Menai (Algorithms, 2018)

Swarm intelligence to solve the curriculum sequencing problem. - Mohamed El-bachir Menai; Hamad Alhunitah; Hussein Al-Salman (Comput. Appl. Eng. Educ., 2018)

KSU at SemEval-2019 Task 3: Hybrid Features for Emotion Recognition in Textual Conversation. - Nourah Alswaidan; Mohamed El Bachir Menai (SemEval@NAACL-HLT, 2019)

ArPC a corpus for paraphrase identification in Arabic text. - Alaa Saleh Altheneyan; Mohamed El Bachir Menai (IEEE DataPort, 2019)

Hybrid Feature Model for Emotion Recognition in Arabic Text. - Nourah Alswaidan; Mohamed El Bachir Menai (IEEE Access, 2020)

CAST: A Cross-Article Structure Theory for Multi-Article Summarization. - Nouf Ibrahim Altmami; Mohamed El Bachir Menai (IEEE Access, 2020)

SVM ensembles for named entity disambiguation. - Amal Alokaili; Mohamed El Bachir Menai (Computing, 2020)

Evaluation of State-of-the-Art Paraphrase Identification and Its Application to Automatic Plagiarism Detection. - Alaa Saleh Altheneyan; Mohamed El Bachir Menai (Int. J. Pattern Recognit. Artif. Intell., 2020)

A survey of state-of-the-art approaches for emotion recognition in text. - Nourah Alswaidan; Mohamed El Bachir Menai (Knowl. Inf. Syst., 2020)

Automatic plagiarism detection in obfuscated text. - Alaa Saleh Altheneyan; Mohamed El Bachir Menai (Pattern Anal. Appl., 2020)

A Stochastic Local Search Algorithm for the Partial Max-SAT Problem Based on Adaptive Tuning and Variable Depth Neighborhood Search. - Haifa Hamad AlKasem; Mohamed El Bachir Menai (IEEE Access, 2021)

Stochastic local search for Partial Max-SAT: an experimental evaluation. - Haifa Hamad AlKasem; Mohamed El Bachir Menai (Artif. Intell. Rev., 2021)

Boosting the Performance of CDCL-Based SAT Solvers by Exploiting Backbones and Backdoors. - Tasniem Nasser Al-Yahya; Mohamed El Bachir Menai; Hassan Mathkour (Algorithms, 2022)

Automatic summarization of scientific articles: A survey. - Nouf Ibrahim Altmami; Mohamed El Bachir Menai (J. King Saud Univ. Comput. Inf. Sci., 2022)

A Critical Analysis of Benchmarks, Techniques, and Models in Medical Visual Question Answering. - Suheer Alhadhrami; Mohamed El Bachir Menai; Saad Al-Ahmadi 002; Ahmad Alnafessah (IEEE Access, 2023)

On the Structure of the Boolean Satisfiability Problem: A Survey. - Tasniem Nasser Al-Yahya; Mohamed El Bachir Menai; Hassan Mathkour (ACM Comput. Surv., 2023)

Intrinsically Interpretable Gaussian Mixture Model. - Nourah Alangari; Mohamed El Bachir Menai; Hassan Mathkour; Ibrahim Almosallam (Inf., 2023)

Exploring Evaluation Methods for Interpretable Machine Learning: A Survey. - Nourah Alangari; Mohamed El Bachir Menai; Hassan Mathkour; Ibrahim Almosallam (Inf., 2023)

Federated Learning-Based Model to Lightweight IDSs for Heterogeneous IoT Networks: State-of-the-Art, Challenges, and Future Directions. - Shoroog Alsaleh; Mohamed El Bachir Menai; Saad Al-Ahmadi 002 (IEEE Access, 2024)

Solving the traveling salesman problem with machine learning: a review of recent advances and challenges. - Entesar Alanzi; Mohamed El Bachir Menai (Artif. Intell. Rev., 2025)