research
∙
07/26/2023
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
Conflict analysis has been successfully generalized from Boolean satisfi...
share
research
∙
07/14/2023
A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programming
The current cut selection algorithm used in mixed-integer programming so...
research
∙
06/09/2023
Branching via Cutting Plane Selection: Improving Hybrid Branching
Cutting planes and branching are two of the most important algorithms fo...
research
∙
12/14/2022