Exact Verification of First-Order Methods via Mixed-Integer Linear Programming

MaRDI QIDQ6758238arXivFDO

Authors Vinit Ranjan, Stefano Gualandi, Andrea Lodi, Bartolomeo Stellato

Publication date 2024

Published in arXiv

arXiv classification

math.OC

This page was built for publication: Exact Verification of First-Order Methods via Mixed-Integer Linear Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6758238)