4 citations · 6 across the 9 of their papers we have counts for
1 paper · 1 filter
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…