The goal of this software is to compute (the size of) optimality certificates for convex mixed-integer nonlinear problems.
No takes yet. Share an insight, caveat, or question.
Halbig et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: