Publication
(All)

Results 1-1 of 1 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
12008To SAT or Not to SAT: Ashenhurst Decomposition in a Large ScaleHsuan-Po Lin; Jie-Hong R. Jiang; Ruei-Rung Lee; JIE-HONG JIANG IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'08) 200