Verifying Large Multipliers by Combining SAT and Computer Algebra.

Daniela Kaufmann Armin Biere Manuel Kauers

Published in: FMCAD (2019)

Keyphrases

computer algebra
theorem prover
sat solvers
artificial intelligence
search algorithm
neural network
combining multiple
computer algebra systems
data sets
bayesian networks
model checking
satisfiability problem
sat problem