L.: On freezing and reactivating learnt clauses (2011)

by G Audemard, J M Lagniez, B Mazure, Säıs
Venue:In: Proc. 14th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT ’11). LNCS