Prime clauses for fast enumeration of satisfying assignments to boolean circuits
Conference Proceeding
Overview
publication date
- June 13, 2005
Full Author List
- Jin H; Somenzi F
published in
- Design Automation Conference Journal
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 750
end page
- 753