18 citations · 18 across the 4 of their papers we have counts for
1 paper · 2 filters
Henning Seidler
We present a branch-and-bound algorithm to improve the lower bounds obtained by SONC/SAGE. The running time is fixed-parameter tractable in the number of variables. Furthermore, we…