Conflict analysis has been successfully generalized from Boolean
satisfi...
The current cut selection algorithm used in mixed-integer programming so...
Cutting planes and branching are two of the most important algorithms fo...
Cutting planes are a crucial component of state-of-the-art mixed-integer...