. Bw-large, 9/108.2 29.78/31.79 par16-1-c 0, pp.16-306

G. Audemard, J. Lagniez, B. Mazure, and L. Sais, Analyse de conflits dans le cadre de la recherche locale, JFPC, pp.215-224, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00390909

G. Audemard, J. Lagniez, B. Mazure, and L. Sais, Boosting Local Search Thanks to cdcl, LPAR, pp.474-488, 2010.
DOI : 10.1007/978-3-642-16242-8_34
URL : https://hal.archives-ouvertes.fr/hal-00865508

N. Eén and N. Sörensson, An extensible sat-solver, SAT, pp.502-518, 2003.

H. Fang, Complete local search for propositional satisfiability, AAAI, pp.161-166, 2004.

F. Glover and M. Laguna, Tabu Search, 1997.
URL : https://hal.archives-ouvertes.fr/hal-01389283

L. Kroc, A. Sabharwal, C. Gomes, and B. Selman, Integrating systematic and local search paradigms : A new strategy for maxsat, IJCAI, pp.544-551, 2009.

J. Marques-silva and K. Sakallah, GRASP: a search algorithm for propositional satisfiability, IEEE Transactions on Computers, vol.48, issue.5, pp.506-521, 1999.
DOI : 10.1109/12.769433

D. Mcallester, B. Selman, and H. Kautz, Evidence for invariants in local search, AAAI, pp.321-326, 1997.

L. Zhang, C. Madigan, and M. Moskewicz, Efficient conflict driven learning in a boolean satisfiability solver, ICCAD, pp.279-285, 2001.