1. A. Arcuri, L. Briand, A Hitchhiker's Guide to Statistical Tests for Assessing Randomized Algorithms in Software Engineering, Technical report, simula research laboratory, number 13/2011.
2. A Multilevel Memetic Algorithm for Large SAT-Encoded Problems;Bouhmala,2012
3. Solving the Satisfiability Problem Using Finite Learning Automata;Granmo;International Journal of Computer Science and Applications,2007
4. Variable neighborhood search for maximum weighted satisfiability problem;Hansen,2000
5. Variable Neighborhood Search;Mladenović;Computer and Operations Research,1997