| 2021 | A Fast Algorithm for SAT in Terms of Formula Length. Junqiang Peng, Mingyu Xiao |
| 2021 | A Proof Builder for Max-SAT. Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2021 | Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. Stepan Kochemazov, Alexey Ignatiev, João Marques-Silva |
| 2021 | Certified DQBF Solving by Definition Extraction. Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider |
| 2021 | Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. Alexis de Colnet, Stefan Mengel |
| 2021 | Chinese Remainder Encoding for Hamiltonian Cycles. Marijn J. H. Heule |
| 2021 | DQBDD: An Efficient BDD-Based DQBF Solver. Juraj Síc, Jan Strejcek |
| 2021 | Davis and Putnam Meet Henkin: Solving DQBF with Resolution. Joshua Blinkhorn, Tomás Peitl, Friedrich Slivovsky |
| 2021 | Deep Cooperation of CDCL and Local Search for SAT. Shaowei Cai, Xindi Zhang |
| 2021 | DiMo - Discrete Modelling Using Propositional Logic. Norbert Hundeshagen, Martin Lange, Georg Siebert |
| 2021 | Efficient All-UIP Learned Clause Minimization. Mathias Fleury, Armin Biere |
| 2021 | Efficient Local Search for Pseudo Boolean Optimization. Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos |
| 2021 | Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang |
| 2021 | Hardness and Optimality in QBF Proof Systems Modulo NP. Leroy Chew |
| 2021 | Hash-Based Preprocessing and Inprocessing Techniques in SAT Solvers. Henrik E. C. Cao |
| 2021 | Investigating the Existence of Costas Latin Squares via Satisfiability Testing. Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang |
| 2021 | Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. Nicolas Prevot, Mate Soos, Kuldeep S. Meel |
| 2021 | Logical Cryptanalysis with WDSat. Monika Trimoska, Gilles Dequen, Sorina Ionica |
| 2021 | Lower Bounds for QCDCL via Formula Gauge. Benjamin Böhm, Olaf Beyersdorff |
| 2021 | MCP: Capturing Big Data by Satisfiability (Tool Description). Miki Hermann, Gernot Salzer |
| 2021 | MedleySolver: Online SMT Algorithm Selection. Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia |
| 2021 | On Dedicated CDCL Strategies for PB Solvers. Daniel Le Berre, Romain Wallon |
| 2021 | On the Hierarchical Community Structure of Practical Boolean Formulas. Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh |
| 2021 | OptiLog: A Framework for SAT-based Systems. Carlos Ansótegui, Jesus Ojeda, António Pacheco, Josep Pon, Josep M. Salvia, Eduard Torres |
| 2021 | ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi |
| 2021 | Projection Heuristics for Binary Branchings Between Sum and Product. Oliver Kullmann, Oleg Zaikin |
| 2021 | Proof Complexity of Symbolic QBF Reasoning. Stefan Mengel, Friedrich Slivovsky |
| 2021 | PyDGGA: Distributed GGA for Automatic Configuration. Carlos Ansótegui, Josep Pon, Meinolf Sellmann, Kevin Tierney |
| 2021 | QBFFam: A Tool for Generating QBF Families from Proof Complexity. Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla |
| 2021 | SAT-Based Rigorous Explanations for Decision Lists. Alexey Ignatiev, João Marques-Silva |
| 2021 | Scalable SAT Solving in the Cloud. Dominik Schreiber, Peter Sanders |
| 2021 | Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints. Martin Mariusz Lester |
| 2021 | Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett |
| 2021 | Solving Non-uniform Planted and Filtered Random SAT Formulas Greedily. Tobias Friedrich, Frank Neumann, Ralf Rothenberger, Andrew M. Sutton |
| 2021 | The MergeSat Solver. Norbert Manthey |
| 2021 | Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings Chu-Min Li, Felip Manyà |
| 2021 | Weighted Model Counting Without Parameter Variables. Paulius Dilkas, Vaishak Belle |
| 2021 | XOR Local Search for Boolean Brent Equations. Wojciech Nawrocki, Zhenjun Liu, Andreas Fröhlich, Marijn J. H. Heule, Armin Biere |