Alembic: An efficient algorithm for CNF preprocessing Conference Proceeding

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

June 4, 2007

has restriction

closed

Date in CU Experts

May 28, 2014 4:11 AM

Full Author List

Han H; Somenzi F

author count

2

citation count

21

published in

Design Automation Conference Journal

presented at event

44th ACM/IEEE Design Automation Conference Conference

Other Profiles

International Standard Serial Number (ISSN)

0738-100X

Digital Object Identifier (DOI)

https://doi.org/10.1109/dac.2007.375231

International Standard Book Number (ISBN) 13

978-1-59593-771-1

Additional Document Info

start page

582

end page

+