Mohamed El-bachir Menai

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