Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization.
Christoph SchollAlexander KonradAlireza MahzoonDaniel GroßeRolf DrechslerPublished in: DATE (2021)
Keyphrases
- computer algebra
- computer algebra systems
- theorem prover
- discrete optimization
- optimization algorithm
- long term
- optimization method
- optimization process
- global optimization
- optimal design
- constrained optimization
- database
- health care
- neural network
- optimization problems
- optimization model
- high level
- website
- optimization strategies
- neural learning
- information systems