- Evgeny Dantsin, Alexander Wolpert. An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF. JSAT, 14(1):1-15, 2023.
- Francesco Leofante. OMTPlan: A Tool for Optimal Planning Modulo Theories. JSAT, 14(1):17-23, January 2023.
- Stefan Mengel. No Efficient Disjunction or Conjunction of Switch-Lists. JSAT, 13(1):1-4, 2022.
- 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.