Home

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](https...

See more
July 24, 2026
Special Issue for SAT'26

As announced at the business meeting at SAT'26 we are having a special issue for SAT'26. Submission deadline is November 1, 2026. Please stay tuned for more details soon.

See more
Published on Jul 24, 2026
Published on Jul 16, 2026
Armin Biere
Armin Biere
ORCID
Editorial board, Chief editor
 University of Freiburg
UFR
Marijn Heule
Marijn Heule
ORCID
Editorial board, Chief editor
 Carnegie Mellon University [CMU]
Olaf Beyersdorff
Olaf Beyersdorff
Editorial board
Supratik Chakraborty
Supratik Chakraborty
Editorial board
Holger Hoos
Editorial board
Mikoláš Janota
Mikoláš Janota
ORCID
Editorial board
 Czech Technical University in Prague [ČVUT]
Matti Järvisalo
Matti Järvisalo
Editorial board
 University of Helsinki [UH]
Jie-Hong Jiang
Jie-Hong Jiang
ORCID
Editorial board
National Taiwan University
Ines Lynce
Editorial board
Meena Mahajan
Meena Mahajan
ORCID
Editorial board
 Institute of Mathematical Sciences [IMSc]
 Homi Bhabha National Institute [HBNI]
Martina Seidl
Martina Seidl
ORCID
Editorial board
 Johannes Kepler University of Linz [JKU]
ofer strichman
ofer strichman
ORCID
Editorial board
 Technion – Israel Institute of Technology
Stefan Szeider
Stefan Szeider
ORCID
Editorial board
 TU Wien [TUW]

Journal indexation