Publications Daniela Ritirc

2017

Best paper
Daniela Ritirc, Armin Biere, Manuel Kauers. Column-Wise Verification of Multipliers Using Computer Algebra. In Proc. 17th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'17), pages 23-30, FMCAD Inc. 2017.
[ paper | bibtex | experiments | pictures ]