Concept: Clique problem

Parallelized Conflict Graph Cut Generation

Faster integer programming through parallel cutting plane generation