ICOS: a branch and bound based solver for rigorous global optimization

From MaRDI portal
Publication:3396393