Sign in
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