These have been fixed in the online version.
Page 41: The instances of $\operatorname{PAF}_X(s)$ should be replaced with $\operatorname{PAF}_X(k)$.
Page 64, Example 4.1: The condition $r_a+i_a\equiv n\pmod{2}$ is missing.
Page 65, third line from bottom: The second and fourth As should be replaced with Bs.
Page x and 40: Accuracy → accuracy
Page 7: sc-square.org → www.sc-square.org
Page 38: MiniSAT → MiniSat
Page 58: Chretien → Chrétien