Login / Signup
High-level optimization of integer multipliers over a finite bit-width with verification capabilities.
Omid Sarbishei
Mahmoud Tabandeh
Bijan Alizadeh
Masahiro Fujita
Published in:
MEMOCODE (2009)
Keyphrases
</>
high level
low level
decision variables
global optimization
optimization algorithm
optimization problems
discrete optimization
data sets
constrained optimization
database systems
programming language
optimization process
integer points