Concept: Constraint Satisfaction and Optimization

Parallel conflict graph management reduced MIP solve time

Faster integer programming through parallel cutting plane generation