| 2020 | A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth. Friedrich Slivovsky, Stefan Szeider |
| 2020 | A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints. Alexis de Colnet |
| 2020 | Abstract Cores in Implicit Hitting Set MaxSat Solving. Jeremias Berg, Fahiem Bacchus, Alex Poole |
| 2020 | Clause Size Reduction with all-UIP Learning. Nick Feng, Fahiem Bacchus |
| 2020 | Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon |
| 2020 | Designing New Phase Selection Heuristics. Arijit Shaw, Kuldeep S. Meel |
| 2020 | Distributed Cube and Conquer with Paracooba. Maximilian Heisinger, Mathias Fleury, Armin Biere |
| 2020 | Equivalence Between Systems Stronger Than Resolution. Maria Luisa Bonet, Jordi Levy |
| 2020 | Four Flavors of Entailment. Sibylle Möhle, Roberto Sebastiani, Armin Biere |
| 2020 | Improving Implementation of SAT Competitions 2017-2019 Winners. Stepan Kochemazov |
| 2020 | Incremental Encoding of Pseudo-Boolean Goal Functions Based on Comparator Networks. Michal Karpinski, Marek Piotrów |
| 2020 | Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles. Matthew Anderson, Zongliang Ji, Anthony Yang Xu |
| 2020 | MaxSAT Resolution and Subcube Sums. Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals |
| 2020 | Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness. Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger |
| 2020 | Mycielski Graphs and PR Proofs. Emre Yolcu, Xinyu Wu, Marijn J. H. Heule |
| 2020 | On CDCL-Based Proof Systems with the Ordered Decision Strategy. Nathan Mull, Shuo Pang, Alexander A. Razborov |
| 2020 | On Weakening Strategies for PB Solvers. Daniel Le Berre, Pierre Marquis, Romain Wallon |
| 2020 | On the Effect of Learned Clauses on Stochastic Local Search. Jan-Hendrik Lorenz, Florian Wörz |
| 2020 | On the Sparsity of XORs in Approximate Model Counting. Durgesh Agrawal, Bhavishya, Kuldeep S. Meel |
| 2020 | Positional Games and QBF: The Corrective Encoding. Valentin Mayer-Eichberger, Abdallah Saffidine |
| 2020 | Reasoning About Strong Inconsistency in ASP. Carlos Mencía, João Marques-Silva |
| 2020 | Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases. Thomas Seed, Andy King, Neil Evans |
| 2020 | Reproducible Efficient Parallel SAT Solving. Hidetomo Nabeshima, Katsumi Inoue |
| 2020 | SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers. Gilles Audemard, Loïc Paulevé, Laurent Simon |
| 2020 | SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing. Rüdiger Ehlers, Kai Treutler, Volker Wesling |
| 2020 | SAT-Based Encodings for Optimal Decision Trees with Explicit Paths. Mikolás Janota, António Morgado |
| 2020 | Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar |
| 2020 | Short Q-Resolution Proofs with Homomorphisms. Ankit Shukla, Friedrich Slivovsky, Stefan Szeider |
| 2020 | Simplified and Improved Separations Between Regular and General Resolution by Lifting. Marc Vinyals, Jan Elffers, Jan Johannsen, Jakob Nordström |
| 2020 | Sorting Parity Encodings by Reusing Variables. Leroy Chew, Marijn J. H. Heule |
| 2020 | Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions. Martin Jonás, Jan Strejcek |
| 2020 | Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths. Olaf Beyersdorff, Joshua Blinkhorn, Tomás Peitl |
| 2020 | Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology. Markus Hecher, Patrick Thier, Stefan Woltran |
| 2020 | Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings Luca Pulina, Martina Seidl |
| 2020 | Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems. Javier Larrosa, Emma Rollon |
| 2020 | Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh |
| 2020 | Trail Saving on Backtrack. Randy Hickey, Fahiem Bacchus |