RT @Rolf_Drechsler: Our paper on "Polynomial Formal #Verification of #Arithmetic Circuits" is available #online https://t.co/0m0ncvecMH @Sp…
Proceedings of International Conference on Computational Intelligence and Data Engineering
Springer Singapore