Using integer linear programming for correctly rounded multipartite architectures.

Orégane Desrentes Florent de Dinechin

Published in: FPT (2022)

Keyphrases

integer linear programming
bicriteria
column generation
linear inequalities
boolean satisfiability
cutting plane
symmetry breaking
pseudo boolean
upper bound
floating point
branch and bound
global constraints
integer program
boolean optimization