Concept: Clique graph

Parallelized Conflict Graph Cut Generation

Faster integer programming through parallel cutting plane generation