7.2. Cook's theorem Notes | Design and Analysis of Algorithm BCT-NEW | TU | TABFlux