Theory and Applications of Satisfiability Testing – SAT 2017 (Preface)

This volume contains the papers presented at SAT 2017, the 20th International Conference on Theory and Applications of Satisfiability Testing, held from 28 August until 1 September 2017 in Melbourne, Australia. This 20th edition of SAT was co-located with CP 2017 (23rd International Conference on Principles and Practice of Constraint Programming) and ICLP 2017 (33rd International Conference on Logic Programming), featuring joint workshops, tutorials, invited talks, social events, and a doctoral consortium. It was held at the Melbourne Convention and Exhibition Centre, starting with a workshop day on 28 August 2017.