The Journal

JSAT

JSAT joined Episciences in 2026 adopting a diamond open access model (“overlay journal”).

- Articles are freely accessible to all, with no subscription or fees for readers.

- Authors do not pay any publication fees (APC).

- The journal relies on prior deposits in open archives (arXiv, HAL, etc.), guaranteeing transparency and scientific sustainability.

- The editorial infrastructure and distribution are provided by Episciences, while the editorial board is responsible for selecting and evaluating articles.

Scope

The scope of JSAT is propositional reasoning, modeling and computation. It 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. JSAT welcomes all sorts of contributions around the general Satisfiability theme but also encourages authors to submit papers on related topics including Computational Logic, Proof Complexity, Constraint Programming, Satisfiability Modulo Theories, Quantified Boolean Logic, Pseudo-Boolean Methods, Integer Programming, and Operations Research, whenever the link to Satisfiability is apparent.

Contributions

The first type of contributions JSAT welcomes consists of substantial extensions of conference papers. 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). The second type of contributions consists of short or long system descriptions focusing on solvers and other related tools and their evaluation.

Volumes

The journal was founded with TU Delft and then IOS Press as its primary publisher - the latter was acquired by Sage publishing - and from February 2006 to June 2024 (Volume 15, Issue 1), the articles were distributed via the IOS Press Digital Content Library platform then on the Sage Journals platform.