Exact Algorithms for Dominating Set