Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Yirng-An Chen

Verification of Arithmetic Circuits Using Binary Moment Diagrams

International Journal on Software Tools for Technology Transfer

Information Systems

English