Journal on Satisfiability, Boolean Modeling and Computation


12, 1 issue

Back volumes

From volume 1, 2020

ISSN online

Open Access
Online Only

Aims & Scope

The scope of the Journal on Satisfiability, Boolean Modeling and Computation (JSAT) is propositional reasoning, modeling, and computation. The Satisfiability discipline is a central focus of JSAT. We welcome all sorts of contributions to this theme but also encourage authors to submit papers on related topics as Computational Logic, Constraint Programming, Satisfiability Modulo Theories, Quantified Boolean Logic, Pseudo Boolean Methods, zero-one Programming, Integer Programming and Operations Research, whenever the link to Satisfiability (SAT) is apparent.

Especially, JSAT welcomes substantial extensions of conference papers, where the actual conference contribution must be cited. As such, authors are able to provide more detailed information about their work (theoretical details, proofs or theorems, algorithmic or implementation details, more exhaustive empirical evaluations) which were enforced to be omitted in the conference proceedings simply because of strict page limitations.

JSAT also welcomes detailed descriptions of new promising but challenging applications around SAT, to make the SAT community aware of those new applications, and to provide it the opportunity to tackle those challenges.

Occasionally, JSAT also publishes Research Notes and these articles are also thoroughly reviewed but are not considered full Journal publications and hence will be designated and must be referenced to as such. Also, JSAT publishes papers on System Descriptions, being contributions with a focus on the internals of a Solver.

Editorial Board

Editor in Chief

Daniel Le Berre
Artois University/CNRS

Former Editors in Chief

John Franco
University of Cincinnati
United States

Oliver Kullmann
Swansea University
United Kingdom

Hans van Maaren (Founding Editor)
Delft University of Technology
The Netherlands

Production Editor

Marijn Heule
University of Texas at Austin
United States

Editorial board

Olaf Beyersdorff
Friedrich Schiller University Jena

Armin Biere
Johannes Kepler University in Linz

Nadia Creignou
Aix-Marseille Université/CNRS

John Franco
University of Cincinnati
United States

Vijay Ganesh
University of Waterloo

Holger Hoos
Leiden University
The Netherlands

Matti Jarvisalo
University of Helsinki

Hans Kleine Büning
Paderborn University

Antonina Kolokolova
Memorial University of Newfoundland

Oliver Kullmann
Swansea University
United Kingdom

Ines Lynce
University of Lisbon

Joao Marques-Silva
University of Lisbon

David Mitchell
Simon Fraser University

Nina Narodytska
VMWare Research
United States

Jakob Nordström
KTH Royal Institute of Technology

Luca Pulina
University of Sassari

Roberto Sebastiani
Trento University

Martina Seidl
Johannes Kepler University in Linz

Laurent Simon
Bordeaux INP / University of Bordeaux / CNRS

Carsten Sinz
Karlsruhe Institute of Technology

Ofer Strichman

Naoyuki Tamura
Kobe University

Xishun Zhao
Sun-Yat Sen University

Author Guidelines

Please refer to for detailed instructions on the formatting and of manuscripts. For direct submission of an article please visit the submission and peer review system for JSAT.

Publication costs
JSAT is an open access (OA) journal where all articles are published online with OA and distributed under the terms of the Creative Commons Attribution Non-Commercial License (CC BY-NC 4.0). All open access publication costs are currently waived so there are no costs associated to publishing in JSAT.

Abstracted/Indexed in

ACM Digital Library
Applied Science & Technology Source
Cabell's Guide or Directory
CSA Illumina
DBLP Bibliography Server
EBSCO Engineering Collection
Ulrich's Periodicals Directory
Zentralblatt MATH


Newsletter: Be sure to sign up to the JSAT newsletter to receive alerts of new issues and other journal news. Sign up via this link: