Compressing Linear Programs

Using Color Refinement

September 18, 2020