%0 Conference Paper %1 conf/date/Sayed-AhmedGKSD16 %A Sayed-Ahmed, Amr A. R. %A Große, Daniel %A Kühne, Ulrich %A Soeken, Mathias %A Drechsler, Rolf %B DATE %D 2016 %E Fanucci, Luca %E Teich, Jürgen %I IEEE %K dblp %P 1048-1053 %T Formal verification of integer multipliers by combining Gröbner basis with logic reduction. %U http://dblp.uni-trier.de/db/conf/date/date2016.html#Sayed-AhmedGKSD16 %@ 978-3-9815-3707-9

@inproceedings{conf/date/Sayed-AhmedGKSD16, added-at = {2021-08-09T00:00:00.000+0200}, author = {Sayed-Ahmed, Amr A. R. and Große, Daniel and Kühne, Ulrich and Soeken, Mathias and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2a6ea7467b261734368678beeedd41c07/dblp}, booktitle = {DATE}, crossref = {conf/date/2016}, editor = {Fanucci, Luca and Teich, Jürgen}, ee = {https://ieeexplore.ieee.org/document/7459464/}, interhash = {f9c733398c494be77fa7e7b74a042b56}, intrahash = {a6ea7467b261734368678beeedd41c07}, isbn = {978-3-9815-3707-9}, keywords = {dblp}, pages = {1048-1053}, publisher = {IEEE}, timestamp = {2024-04-10T06:47:58.000+0200}, title = {Formal verification of integer multipliers by combining Gröbner basis with logic reduction.}, url = {http://dblp.uni-trier.de/db/conf/date/date2016.html#Sayed-AhmedGKSD16}, year = 2016 }