Clausal Equivalence Sweeping.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

Browse the full FMCAD paper archive.