Concept: Binary relation

Parallelized Conflict Graph Cut Generation

Faster integer programming through parallel cutting plane generation