Login / Signup
Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers.
Alireza Mahzoon
Daniel Große
Rolf Drechsler
Published in:
ISVLSI (2018)
Keyphrases
</>
computer algebra
boolean satisfiability
computer algebra systems
computational complexity
sat solvers
theorem prover
probabilistic planning
bayesian networks
boolean optimization