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. [doi]
@article{MenaiB05,
title = {Solving the Maximum Satisfiability Problem Using an Evolutionary Local Search Algorithm},
author = {Mohamed El-bachir Menai and Mohamed Batouche},
year = {2005},
url = {http://www.iajit.org/ABSTRACTS-4.htm#09},
tags = {search},
researchr = {https://researchr.org/publication/MenaiB05},
cites = {0},
citedby = {0},
journal = {Int. Arab J. Inf. Technol.},
volume = {2},
number = {2},
pages = {154-161},
}