I recently had to work on SAT problems (and SAT solvers), the relatively recent material he wrote on them (section 7.2.2.2, close to 300 pages!) has been amazing, I sometimes just open a random section and go through it, super readable and informative. I'd highly recommend it, especially if you can have direct use of it.