Login / Signup
Polynomial datapath optimization using constraint solving and formal modelling.
Finn Haedicke
Bijan Alizadeh
Görschwin Fey
Masahiro Fujita
Rolf Drechsler
Published in:
ICCAD (2010)
Keyphrases
</>
constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
optimization algorithm
constraint satisfaction
constraint solver
optimization problems
global optimization
constraint programming
optimization process
constraint solvers
data model
context aware