@TechReport{ALM+-10-3,
title = {RCL: Reduce learnt clauses},
author = {Audemard, Gilles and Lagniez, Jean-Marie and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Lagniez, Jean-Marie and Mazure, Bertrand and Saïs, Lakhdar},
month = {jul},
year = {2010},
institution = {Proceedings of SAT Race 2010: Solver and Benchmarks Descriptions, Edinburgh, Scotland, UK},
note = {Proceedings of SAT Race 2010: Solver and Benchmarks Descriptions},
}