s18-08 Exponential time algorithms