%0 Conference Paper %1 conf/dac/HanS07 %A Han, HyoJung %A Somenzi, Fabio %B DAC %D 2007 %I IEEE %K dblp %P 582-587 %T Alembic: An Efficient Algorithm for CNF Preprocessing. %U http://dblp.uni-trier.de/db/conf/dac/dac2007.html#HanS07

@inproceedings{conf/dac/HanS07, added-at = {2018-11-06T00:00:00.000+0100}, author = {Han, HyoJung and Somenzi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/281276ff15a650ecc5c8343e1105a4882/dblp}, booktitle = {DAC}, crossref = {conf/dac/2007}, ee = {https://doi.org/10.1145/1278480.1278628}, interhash = {a324fbb2814f6d262836564f42e21b14}, intrahash = {81276ff15a650ecc5c8343e1105a4882}, keywords = {dblp}, pages = {582-587}, publisher = {IEEE}, timestamp = {2018-11-07T15:12:28.000+0100}, title = {Alembic: An Efficient Algorithm for CNF Preprocessing.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2007.html#HanS07}, year = 2007 }