TY - RPRT TI - Exact Complexity of Exact-Four-Colorability AU - Jörg Rothe PY - 2001 UR - https://arxiv.org/abs/cs/0109018 ID - cs/0109018 ER -