| 2019 | DRAT Proofs, Propagation Redundancy, and Extended Resolution. | Sam Buss, Neil Thapen |
| 2019 | Proof Complexity of QBF Symmetry Recomputation. | Joshua Blinkhorn, Olaf Beyersdorff |
| 2019 | Short Proofs in QBF Expansion. | Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan |
| 2019 | Circular (Yet Sound) Proofs. | Albert Atserias, Massimo Lauria |
| 2018 | XOR-Satisfiability Set Membership Filters. | Sean A. Weaver, Hannah J. Roberts, Michael J. Smith |
| 2018 | In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. | Marc Vinyals, Jan Elffers, Jess Girldez-Cru, Stephan Gocht, Jakob Nordstrm |
| 2018 | Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract. | Christoph Scholl, Ralf Wimmer |
| 2018 | Two flavors of DRAT. | Adrin Rebola-Pardo, Armin Biere |
| 2018 | Polynomial-Time Validation of QCDCL Certificates. | Toms Peitl, Friedrich Slivovsky, Stefan Szeider |
| 2018 | Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. | Tobias Paxian, Sven Reimer, Bernd Becker |
| 2018 | Predicting SAT Solver Performance on Heterogeneous Hardware. | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister |
| 2018 | Chronological Backtracking. | Alexander Nadel, Vadim Ryvchin |
| 2018 | Solving MaxSAT with Bit-Vector Optimization. | Alexander Nadel |
| 2018 | Checking Unsatisfiability Proofs in Parallel. | Norbert Manthey, Tobias Philipp |
| 2018 | Machine Learning-Based Restart Policy for CDCL SAT Solvers. | Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh |
| 2018 | CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. | Anastasia-Maria Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber |
| 2018 | QBF as an Alternative to Courcelle's Theorem. | Michael Lampis, Stefan Mengel, Valia Mitsou |
| 2018 | Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. | Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjrner, Mooly Sagiv |
| 2018 | ALIAS: A Modular Tool for Finding Backdoors for SAT. | Stepan Kochemazov, Oleg Zaikin |
| 2018 | Symmetries of Quantified Boolean Formulas. | Manuel Kauers, Martina Seidl |
| 2018 | Competitive Sorter-based Encoding of PB-Constraints into SAT. | Michal Karpinski, Marek Piotrw |
| 2018 | Circuit-Based Search Space Pruning in QBF. | Mikols Janota |
| 2018 | Centrality-Based Improvements to CDCL Heuristics. | Sima Jamali, David Mitchell |
| 2018 | A Problem Meta-Data Library for Research in SAT. | Ashlin Iser, Carsten Sinz |
| 2018 | PySAT: A Python Toolkit for Prototyping with SAT Oracles. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |