Vivifying Propositional Clausal Formulae.

Cdric Piette, Youssef Hamadi, Lakhdar Sais

Browse the full ECAI paper archive.