activity
20102025
most citedUnderstanding Space in Proof Complexity: Separations and Trade-offs via Substitutions

14 citations · 15 across the 4 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2024

Cut-based Conflict Analysis in Mixed Integer Programming

Gioni Mexi, Felipe Serrano, Timo Berthold +2

For almost two decades, mixed integer programming (MIP) solvers have used graph-based conflict analysis to learn from local infeasibilities during branch-and-bound search. In this…