DMCA

RCL: Reduce learnt clauses (2013)

by Gilles Audemard , Jean-marie Lagniez , Lakhdar Saïs