Proceedings

The proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) are available from Springer. Using this link, you have free online access to the proceedings until 24 September 2017.