Basu, et al.. Helly Systems and Certificates in Optimization. 28 June 2022.