Login / Signup
Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming.
Levent Aksoy
Eduardo A. C. da Costa
Paulo F. Flores
José Monteiro
Published in:
DAC (2006)
Keyphrases
</>
integer linear programming
boolean satisfiability
linear inequalities
global constraints
column generation
sat encodings
boolean optimization
optimization problems
linear programming
constrained optimization
cutting plane
symmetry breaking
constraint solver
pseudo boolean
optimization model
soft constraints