Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming.

Hadi Parandeh-Afshar Philip Brisk Paolo Ienne

Published in: DATE (2008)

Keyphrases

integer linear programming
column generation
bicriteria
decision trees
linear inequalities
global constraints
pseudo boolean
boolean optimization
symmetry breaking
boolean satisfiability
multistage
branch and bound
cutting plane