On Freezing and Reactivating Learnt Clauses.

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais

Browse the full SAT paper archive.