%0 Conference Paper %1 conf/memocode/SchnieberD23 %A Schnieber, Martha %A Drechsler, Rolf %B MEMOCODE %D 2023 %E von Hanxleden, Reinhard %E Edwards, Stephen A. %E Brandt, Jens %E Zhu, Qi %I ACM / IEEE %K dblp %P 82-89 %T Polynomial Formal Verification of KFDD Circuits. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2023.html#SchnieberD23 %@ 979-8-4007-0318-8

@inproceedings{conf/memocode/SchnieberD23, added-at = {2023-12-02T00:00:00.000+0100}, author = {Schnieber, Martha and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2a3f628ea8f68a771181778e83fb2b31f/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2023}, editor = {von Hanxleden, Reinhard and Edwards, Stephen A. and Brandt, Jens and Zhu, Qi}, ee = {https://ieeexplore.ieee.org/document/10316220}, interhash = {639eb00d55bf5aee3cc13ca92bcd5e7c}, intrahash = {a3f628ea8f68a771181778e83fb2b31f}, isbn = {979-8-4007-0318-8}, keywords = {dblp}, pages = {82-89}, publisher = {ACM / IEEE}, timestamp = {2024-04-09T10:15:52.000+0200}, title = {Polynomial Formal Verification of KFDD Circuits.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2023.html#SchnieberD23}, year = 2023 }