GrCUs: A hybrid satistiability solver
Journal Article
Overview
publication date
- January 1, 2005
Full Author List
- Jin HS; Somenzi F
published in
Additional Document Info
start page
- 211
end page
- 223
volume
- 3542