Goddyn, Luis A. Author · 1 problem Title Source Status Imp. Posted Circular colouring the orthogonality graph opg ai-proved ★★ 2008-09-23