A Grbner Basis Approach to CNF-Formulae Preprocessing.

Christopher Condrat, Priyank Kalla

Browse the full TACAS paper archive.