67 citations · 68 across the 4 of their papers we have counts for
1 paper · 1 filter
Boro Sofranac, Ambros Gleixner, Sebastian Pokutta
Fast domain propagation of linear constraints has become a crucial component of today's best algorithms and solvers for mixed integer programming and pseudo-boolean optimization to…