Refining the SAT decision ordering for bounded model checking
Conference Proceeding
Overview
publication date
- June 7, 2004
Date in CU Experts
- May 28, 2014 4:12 AM
Full Author List
- Wang C; Jin HS; Hachtel GD; Somenzi F
author count
- 4
citation count
- 23
published in
- Design Automation Conference Journal
presented at event
- 41st Design Automation Conference Conference
Other Profiles
International Standard Serial Number (ISSN)
- 0738-100X
International Standard Book Number (ISBN) 10
- 1-58113-828-8
Additional Document Info
start page
- 535
end page
- 538