Login / Signup
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra.
Daniela Kaufmann
Armin Biere
Published in:
Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
</>
computer algebra
sat solving
theorem prover
sat solvers
boolean satisfiability
boolean optimization
sat problem
probability distribution
first order logic
model checking
search strategies
search tree
automated theorem provers
computer algebra systems