Alembic: An efficient algorithm for CNF preprocessing Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• June 4, 2007

Full Author List

• Han H; Somenzi F

published in

• Design Automation Conference  Journal

Other Profiles

Digital Object Identifier (DOI)

• 10.1109/DAC.2007.375231

International Standard Book Number (ISBN) 13

• 978-1-59593-771-1

Additional Document Info

start page

• 582

end page

• +