Graph and Hypergraph Decompositions for Exact Algorithms