Login / Signup
Using Integer Linear Programming in Test-bench Generation for Evaluating Communication Processors.
Eric Senn
David Monnereau
André Rossi
Nathalie Julien
Published in:
DSD (2009)
Keyphrases
</>
integer linear programming
bicriteria
column generation
linear inequalities
parallel algorithm
multithreading
parallel processing
global constraints
cutting plane
symmetry breaking
boolean satisfiability
pseudo boolean
search algorithm
linear program