7.2.3. Reducibility Notes | Theory of Computation BSC-CSIT | TU | TABFlux