Home » Authors » Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs

Public reference bibliography and cataloged PDF materials authored or published by Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs.

Found 1 document(s) Page 1 of 1

RCL: Reduce learnt clauses

Year: 2013 • Source: hal.science • Listed PDF

This note describes features of the version of RCL that entered the SAT-race 2010 affiliated to the SAT'2010 conference in Edinburgh, Scotland, UK....