Improving Deterministic and Randomized Exponential-Time Algorithms for the Satisfiability, the Colorability, and the Domatic Number Problem

Tobias Riege, Jörg Rothe. Improving Deterministic and Randomized Exponential-Time Algorithms for the Satisfiability, the Colorability, and the Domatic Number Problem. J. UCS, 12(6):725-745, 2006. [doi]

Abstract

Abstract is missing.