Polynomial Formal Verification of KFDD Circuits

@inproceedings{pub13417,
    author = {

Schnieber, Martha
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of KFDD Circuits},
    booktitle = {21st ACM-IEEE International Symposium on Formal Methods and Models for System Design. ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE-2023), September 21-22, Hamburg, Germany},
    year = {2023}
}