Publikation

Polynomial Formal Verification of Arithmetic Circuits

Rolf Drechsler, Alireza Mahzoon, Lennart Weingarten

In: N. Chaki , N. Devarakonda , A. Cortesi , H. Seetha (Hrsg.). Proceedings of International Conference on Computational Intelligence and Data Engineering - ICCIDE 2021. International Conference on Computational Intelligence and Data Engineering (ICCIDE-2021) August 13-14 virtual Lecture Notes on Data Engineering and Communications Technologies (LNDECT) 99 ISBN 978-981-16-7182-1 (eBook) Springer Singapore 2021.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence