Generate Hard Graph 3-Colorability Instances -- Finding Relations Among Linear