Login / Signup

Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers.

Alireza MahzoonDaniel GroßeRolf 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