Polynomial Formal Verification of Arithmetic Circuits

@inproceedings{pub11896,
    author = {

Drechsler, Rolf
 and 

Mahzoon, Alireza
 and 

Weingarten, Lennart
},
    editor = {

Chaki, N.
 and 

Devarakonda, N.
 and 

Cortesi, A.
 and 

Seetha, H.
},
    title = {Polynomial Formal Verification of Arithmetic Circuits},
    booktitle = {Proceedings of International Conference on Computational Intelligence and Data Engineering - ICCIDE 2021. International Conference on Computational Intelligence and Data Engineering (ICCIDE-2021), August 13-14, virtual},
    series = {Lecture Notes on Data Engineering and Communications Technologies (LNDECT)},
    edition = {1},
    year = {2021},
    volume = {99},
    publisher = {Springer Singapore},
    isbn = {978-981-16-7182-1 (eBook)}
}