HyoJung Han Fabio Somenzi Alembic: An Efficient Algorithm for CNF Preprocessing. 582-587 2007 conf/dac/2007 DAC http://doi.ieeecomputersociety.org/10.1109/DAC.2007.375231 db/conf/dac/dac2007.html#HanS07