>>349
全くの蛇足だが、どうせ読むんならD.Knuthの
The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability
だな

https://www.youtube.com/watch?v=nrIPxlFzDi0