Journal on Satisfiability, Boolean Modeling and Computation
JSAT is the central journal of the SAT association which also oversees the organization of the SAT conference and as such mirrors the interests of the conference. It welcomes two types of submissions.
The journal format allows authors to refine and add more details to their previously published work (theoretical details, proofs, theorems, algorithmic or implementation details, more exhaustive empirical evaluations). For this type of submission, the authors are expected to clearly indicate, e.g., as last part of the introduction, which papers published at conferences form the basis for the reported results and to which degree they have been extended.
The second type of contributions consists of short or long system descriptions focusing on solvers and other related tools and their evaluation. Authors of systems that enter an international competition recognized by the scientific community are especially invited to submit a system-description paper describing their system.
Submissions and final versions should use JSAT Style File available on Github for which we also provide a sample article. Zip files of all releases of the JSAT style files are avaialble on GitHub too.
Last updated: July 16, 2026