H. Holger and . Hoos, The Run-Time Behaviour of Stochastic Local Search Algorithms for SAT, Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99, pp.661-666, 1999.

H. Holger, T. Hoos, and . Stützle, Local search algorithms for sat : An empirical evaluation, J. Autom. Reason, vol.24, issue.4, pp.421-481, 2000.

H. Holger, T. Hoos, and . Stützle, Stochastic Local Search : Foundations and applications, 2004.

F. Lardeux, F. Saubion, and J. Hao, Three Truth Values for the SAT and MAX- SAT Problems, Proc. of the Nineteenth International Joint Conference on Artificial Intelligence (IJ- CAI'05), Lecture Notes in Computer Science, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01119899

B. Mazure, L. Saïs, and É. Grégoire, Tabu search for SAT, Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI-97/IAAI-97), pp.281-285, 1997.

D. Mcallester, B. Selman, and H. Kautz, Evidence for Invariants in Local Search, Proceedings of the 14th National Conference on Artificial Intelligence, AAAI'97, pp.321-326, 1997.

J. Duc-nghia-pham, A. Thornton, and . Sattar, Building Structure into Local Search for SAT, Proceedings of IJCAI'07, pp.2359-2364, 2007.

B. Selman, H. A. Kautz, and B. Cohen, Noise Strategies for Improving Local Search, Proceedings of the 12th National Conference on Artificial Intelligence AAAI'94, pp.337-343, 1994.

B. Selman, H. J. Levesque, and D. Mitchell, A New Method for Solving Hard Satisfiability Problems, Proceedings of the 10th National Conference on Artificial Intelligence, AAAI'92, pp.440-446, 1992.

K. Smyth, H. H. Hoos, and T. Stützle, Iterated Robust Tabu Search for MAX-SAT, Canadian Conference on AI, pp.129-144, 2003.
DOI : 10.1023/A:1011306011437
URL : http://doi.org/10.1007/3-540-44886-1_12

É. Taillard, Robust taboo search for the quadratic assignment problem, Parallel Computing, vol.17, issue.4-5, pp.443-455, 1991.
DOI : 10.1016/S0167-8191(05)80147-4

M. Vasquez, A. Dupont, and D. Habet, Consistent Neighborhood in a Tabu Search, Metaheuristics : Progress as real Problem Sovers, MIC 2003 Post-conference volume, 2005.