Please verify that the error is present in the most recent revision before reporting.
Chapter number or note title: 12.5 Reductions and Sat
Page number: 387
Error description: Variable y7 is missing in the boolean circuit in figure 12.5. In the boolean formula below, y7 = y3 or y5, but there is no label for it in the circuit.
Please verify that the error is present in the most recent revision before reporting.
Chapter number or note title: 12.5 Reductions and Sat
Page number: 387
Error description: Variable y7 is missing in the boolean circuit in figure 12.5. In the boolean formula below, y7 = y3 or y5, but there is no label for it in the circuit.
Suggested fix (if any): Add label for y7