Concept: Theory of computation

Parallel conflict graph management reduced MIP solve time

Faster integer programming through parallel cutting plane generation