Exact exponential algorithms Techniques