Polynomial Formal Verification of KFDD Circuits

@inproceedings{pub13286,
    author = {

Schnieber, Martha
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of KFDD Circuits},
    booktitle = {Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24-24, Matsue City, Japan},
    year = {2023}
}