Recognizing maximal unfrozen graphs with respect to independent sets is CO-NP-complete. Abbas, N.; Culberson, J.; Stewart, L. — 2005 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]