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]
@article{RiegeR06a-0, title = {Improving Deterministic and Randomized Exponential-Time Algorithms for the Satisfiability, the Colorability, and the Domatic Number Problem}, author = {Tobias Riege and Jörg Rothe}, year = {2006}, url = {http://www.jucs.org/jucs_12_6/improving_deterministic_and_randomized}, researchr = {https://researchr.org/publication/RiegeR06a-0}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {12}, number = {6}, pages = {725-745}, }