Completeness in the Boolean Hierarchy: Exact-Four-Colorability, Minimal Graph Uncolorability, and Exact Domatic Number Problems - a Survey

Tobias Riege, Jörg Rothe. Completeness in the Boolean Hierarchy: Exact-Four-Colorability, Minimal Graph Uncolorability, and Exact Domatic Number Problems - a Survey. J. UCS, 12(5):551-578, 2006. [doi]

Abstract

Abstract is missing.