Challenges in Verifying Arithmetic Circuits Using Computer Algebra.

Armin Biere Manuel Kauers Daniela Ritirc

Published in: SYNASC (2017)

Keyphrases

computer algebra
theorem prover
lessons learned
computer algebra systems
technical challenges
key issues
high speed
data sets
open issues
real world
model checking
multiscale
website
data mining
neural network
electronic circuits
database