Mohamed El-bachir Menai

Publication Activity (10 Years)

Years Active: 2002-2018
Publications (10 Years): 1

Top Topics

Continuous Optimization

Hybrid Metaheuristic

Sense Disambiguation

Boolean Satisfiability

Top Venues

Int. J. Metaheuristics

J. Comput. Sci. Technol.

Comput. Appl. Eng. Educ.

Publications

Mohamed El-bachir Menai, Hamad Alhunitah, Hussein Al-Salman
Swarm intelligence to solve the curriculum sequencing problem. Comput. Appl. Eng. Educ. 26 (5) (2018)
Sarab Al Muhaideb, Mohamed El-bachir Menai
A new hybrid metaheuristic for medical data classification. Int. J. Metaheuristics 3 (1) (2014)
Mohamed El-bachir Menai, Nuha Altayash
Differential Diagnosis of Erythemato-Squamous Diseases Using Ensemble of Decision Trees. IEA/AIE (2) (2014)
Sarab Al Muhaideb, Mohamed El-bachir Menai
HColonies: a new hybrid metaheuristic for medical data classification. Appl. Intell. 41 (1) (2014)
Mohamed El-bachir Menai, Tasniem Nasser Al-Yahya
Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers. Informatica (Slovenia) 37 (3) (2013)
Najwa Altwaijry, Mohamed El-bachir Menai
A Swarm Random Walk Algorithm for Global Continuous Optimization. ICGEC (2013)
Najwa Altwaijry, Mohamed El-bachir Menai
Artificial bee colony for the standard cell placement problem. Int. J. Metaheuristics 2 (3) (2013)
Mohamed El-bachir Menai, Tasniem Nasser Al-Yahya
A Taxonomy of Exact Methods for Partial Max-SAT. J. Comput. Sci. Technol. 28 (2) (2013)
Mohamed El-bachir Menai, Wojdan Alsaeedan
Genetic Algorithm for Arabic Word Sense Disambiguation. SNPD (2012)
Najwa Altwaijry, Mohamed El-bachir Menai
Data Structures in Multi-Objective Evolutionary Algorithms. J. Comput. Sci. Technol. 27 (6) (2012)
Sarab Al Muhaideb, Mohamed El-bachir Menai
Evolutionary computation approaches to the Curriculum Sequencing problem. Nat. Comput. 10 (2) (2011)
Mohamed El-bachir Menai
A Logic-Based Approach to Solve the Steiner Tree Problem. AIAI (2009)
Mohamed El-bachir Menai, Mohamed Batouche
An effective heuristic algorithm for the maximum satisfiability problem. Appl. Intell. 24 (3) (2006)
Mohamed El-bachir Menai, Mohamed Batouche
Solving the Maximum Satisfiability Problem Using an Evolutionary Local Search Algorithm. Int. Arab J. Inf. Technol. 2 (2) (2005)
Mohamed El-bachir Menai, Mohamed Batouche
A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT. Artificial Evolution (2005)
Mohamed El-bachir Menai
A Two-Phase Backbone-Based Search Heuristic for Partial MAX-SAT - An Initial Investigation. IEA/AIE (2005)
Mohamed El-bachir Menai
Solution Reuse in Partial MAX-SAT Problem. IRI (2004)
Mohamed El-bachir Menai
An Evolutionary Local Search Method for Incremental Satisfiability. AISC (2004)
Mohamed El-bachir Menai, Mohamed Batouche
A Bose-Einstein Extremal Optimization Method for Solving Real-World Instances of Maximum Satisfiablility. IC-AI (2003)
Mohamed El-bachir Menai, Mohamed Batouche
Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem. IEA/AIE (2003)
Mohamed El-bachir Menai, Mohamed Batouche
'External Optimization' for Max-SAT. IC-AI (2002)