collaborators

1 paper

math.OC2026

Verified Linear Programming through Tolerance-Aware Precision Boosting

Ernesto Casablanca, Martin Sidaway, Paolo Zuliani +1

Linear programming plays a fundamental role in computer science, with applications in optimization, formal verification, SMT solving, and numerous other domains. When exactness gua…