Author:
Bouhmala Noureddine,Oselan Mats,Brådland Øyestein
Publisher
Springer International Publishing
Reference16 articles.
1. Audemard, G., Simon, L: Predicting learnt clauses quality in modern SAT solvers. In: Twenty First International Conferences on Artificial Intelligence, IQ 2009 (2009)
2. Bouhmala, N.: A variable neighborhood search structure based-genetic algorithm for combinatorial optimization problems. Int. J. Hybrid Intell. Syst. Theory Appl. 15(2) (2016)
3. Bouhmala, N.: A multilevel learning automata for MAX-SAT. Int. J. Mach. Learn. Cybern. 6(6), 911–921 (2015). doi: 10.1007/s13042-015-0355-4
4. Bouhmala, N., Hjelmervik, K., Ivar Øvergaard, K.: A generalized variable neighborhood search for combinatorial optimization problems. Electron. Notes Discrete Math. 47, 45–52 (2015)
5. Bouhmala, N.: A multilevel memetic algorithm for large SAT-encoded problems. Evol. Comput. 20(4), 641–664 (2012)