Polynomial Formal Verification of Area-efficient and Fast Adders

@inproceedings{pub11583,
    author = {

Mahzoon, Alireza
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of Area-efficient and Fast Adders},
    booktitle = {Reed-Muller Workshop (RM2021). Reed-Muller Workshop (RM-2021), May 28, Nursultan/Virtual, Kazakhstan},
    year = {2021}
}