Learning material on SAT
- by Jules
What are good documents to read on SAT solvers. I have not been able to find good material via Google. The documents I found were either birds eye view, too advanced or corrupted PDF files...
Which papers/documents do you recommend to learn about the algorithms in modern practical SAT solvers?