Loading paper
When removing an independent set is optimal for reducing the chromatic number | Tomesphere