T. Riege, J. Rothe: Improving Deterministic and Randomized Exponential-Time Algorithms for the Satisfiability, the Colorability, and the Domatic Number Problem /jucs_12_6/improving_deterministic_and_randomized
T. Riege, J. Rothe: Completeness in the Boolean Hierarchy: Exact-Four-Colorability, Minimal Graph Uncolorability, and Exact Domatic Number Problems - a Survey /jucs_12_5/completenes_in_the_boolean