Theory and applications of satisfiability testing – SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings (pdf)