- Alexander Nadel. Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT. JSAT, 12(1):17-22, 2020.
- Jan Johannsen. Backdoors into Two Occurrences. JSAT, 12(1):1-15, 2020.
- William Klieber. GhostQ. JSAT, 11(1):65-72, 2019.
- Saurabh Joshi 0001, Prateek Kumar 0001, Sukrut Rao, Ruben Martins. Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. JSAT, 11(1):73-97, 2019.
- Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger. The SMT Competition 2015-2018. JSAT, 11(1):221-259, 2019.
- Leander Tentrup. CAQE and QuAbS: Abstraction Based QBF Solvers. JSAT, 11(1):155-210, 2019.
- Tomás Peitl, Friedrich Slivovsky, Stefan Szeider. Qute in the QBF Evaluation 2018. JSAT, 11(1):261-272, 2019.
- Alexey Ignatiev, António Morgado, João Marques-Silva 0001. RC2: an Efficient MaxSAT Solver. JSAT, 11(1):53-64, 2019.
- Ralf Wimmer, Christoph Scholl, Bernd Becker 0001. The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation. JSAT, 11(1):3-52, 2019.
- Florian Lonsing. QBFRelay, QRATPre+, and DepQBF: Incremental Preprocessing Meets Search-Based QBF Solving. JSAT, 11(1):211-220, 2019.