Title

An Efficient Graph Representation for Arithmetic Circuit Verification

Date of Original Version

2001

Type

Article

Comments

Winner of 2003 IEEE CAD Transactions Best Paper Award.