Describir: Exact Exponential Algorithms.