Accurate and efficient predicate analysis with binary decision diagrams

John W. Sias, Wen mei W. Hwu, David I. August

Research output: Contribution to journalConference articlepeer-review

23 Scopus citations

Fingerprint

Dive into the research topics of 'Accurate and efficient predicate analysis with binary decision diagrams'. Together they form a unique fingerprint.

Engineering & Materials Science