@InProceedings{ALM+-11-1,
title = {On freezeing and reactivating learnt clauses},
booktitle = {14th International Conference on Theory and Applications of Satisfiability Testing (SAT'11)},
publisher = {Springer},
volume = {6695},
series = {Lecture Notes in Computer Science (LNCS)},
pages = {188-200},
author = {Audemard, Gilles and Lagniez, Jean-Marie and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Audemard, Gilles and Lagniez, Jean-Marie and Mazure, Bertrand and Saïs, Lakhdar},
year = {2011},
month = {jun},
note = {Best paper award},
}