| 1 | -- | 0 | Luca Pulina, Martina Seidl. Notes from the Guest Editors |
| 3 | -- | 52 | Ralf Wimmer, Christoph Scholl, Bernd Becker 0001. The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation |
| 53 | -- | 64 | Alexey Ignatiev, António Morgado, João Marques-Silva 0001. RC2: an Efficient MaxSAT Solver |
| 65 | -- | 72 | William Klieber. GhostQ |
| 73 | -- | 97 | Saurabh Joshi 0001, Prateek Kumar 0001, Sukrut Rao, Ruben Martins. Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT |
| 99 | -- | 131 | Fahiem Bacchus, Matti Järvisalo, Ruben Martins. MaxSAT Evaluation 2018: New Developments and Detailed Results |
| 133 | -- | 154 | Marijn J. H. Heule, Matti Järvisalo, Martin Suda. SAT Competition 2018 |
| 155 | -- | 210 | Leander Tentrup. CAQE and QuAbS: Abstraction Based QBF Solvers |
| 211 | -- | 220 | Florian Lonsing. QBFRelay, QRATPre+, and DepQBF: Incremental Preprocessing Meets Search-Based QBF Solving |
| 221 | -- | 259 | Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger. The SMT Competition 2015-2018 |
| 261 | -- | 272 | Tomás Peitl, Friedrich Slivovsky, Stefan Szeider. Qute in the QBF Evaluation 2018 |