This volume contains the papers presented at SAT 2018: 21st International Conference on Theory and Applications of Satisfiability Testing held on July 6-19, 2018 in Oxford.

There were 58 submissions. Each submission was reviewed by at least 4, and on the average 4.0, program committee members. The committee decided to accept 26 papers. The program also includes 2 invited talks.

You can write the history of your conference here.

Write any acknowledgments ...

Do not forget to mention your sponsors!

We appreciate some words about the use of EasyChair but it is not necessary.