Learning material on SAT
Posted
by Jules
on Stack Overflow
See other posts from Stack Overflow
or by Jules
Published on 2010-03-27T19:22:18Z
Indexed on
2010/03/27
19:23 UTC
Read the original article
Hit count: 286
Filed under:
computer-science
|sat-solvers
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?
© Stack Overflow or respective owner
