Polynomial Word-Level Verification of Arithmetic Circuits

@inproceedings{pub11897,
    author = {

Barhoush, Mohammed
 and 

Mahzoon, Alireza
 and 

Drechsler, Rolf
},
    title = {Polynomial Word-Level Verification of Arithmetic Circuits},
    booktitle = {19th International Conference on Formal Methods and Models for System Design (MEMOCODE). ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE-2021), November 20-22, Beijing, China},
    year = {2021}
}