Alembic: An efficient algorithm for CNF preprocessing
Conference Proceeding
Overview
publication date
- June 4, 2007
has restriction
- hybrid
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)
International Standard Book Number (ISBN) 13
- 978-1-59593-771-1
Additional Document Info
start page
- 582
end page
- +