Identifying Soft Cores in Propositional Formul.

Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel

Browse the full ICAART paper archive.