Publication Polynomial Formal Verification of KFDD Circuits Martha Schnieber; Rolf Drechsler In: Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24, Matsue City, Japan, 2023. BibTeX Export 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} }