Journal on Satisfiability, Boolean Modeling and Computation


14, 1 issue

Latest issue

14:1 online 06 January 2023

Next issue

15:1 scheduled for January 2024

Back volumes

From volume 1, 2006

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

Armin Biere 
University of Freiburg

Former Editors in Chief

Daniel Le Berre
Artois University/CNRS

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

Nadia Creignou
Aix-Marseille Université/CNRS

John Franco
University of Cincinnati
United States

Vijay Ganesh
University of Waterloo

Holger Hoos
Leiden University
The Netherlands

Mikoláš Janota
Czech Technical University in Prague
Czech Republic

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


By submitting my article to this journal, I agree to the Author Copyright Agreement, the IOS Press Ethics Policy, and the IOS Press Privacy Policy.

Please refer to for detailed instructions on the formatting and submission 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.


Copyright of your article
Authors submitting a manuscript do so on the understanding that they have read and agreed to the terms of the IOS Press Author Copyright Agreement.

Article sharing
Authors of journal articles are permitted to self-archive and share their work through institutional repositories, personal websites, and preprint servers. Authors have the right to use excerpts of their article in other works written by the authors themselves, provided that the original work is properly cited. The consent for sharing an article, in whole or in part, depends on the version of the article that is shared, where it is shared, and the copyright license under which the article is published. Please refer to the IOS Press Article Sharing Policy for further information.

Quoting from other publications
Authors, when quoting from someone else's work or when considering reproducing figures or tables from a book or journal article, should make sure that they are not infringing a copyright. Although in general authors may quote from other published works, permission should be obtained from the holder of the copyright if there will be substantial extracts or reproduction of tables, plates, or other figures. If the copyright holder is not the author of the quoted or reproduced material, it is recommended that the permission of the author should also be sought. Material in unpublished letters and manuscripts is also protected and must not be published unless permission has been obtained. Submission of a paper will be interpreted as a statement that the author has obtained all the necessary permission. A suitable acknowledgement of any borrowed material must always be made.


The corresponding author will be sent a PDF proof and is asked to check this proof carefully (the publisher will execute a cursory check only). Please be sure to return your corrections as quickly as possible to ensure a timely publication date. Corrections other than typesetter's errors should be avoided, so please make sure when you submit your final revised paper to the editorial office that it is proofread and final. Costs arising from excessive corrections will be charged to the authors. Once the author’s corrections or approval to the proof are received, the article is published in final form into the journal’s running volume. After final publication corrections will no longer be able to be made. If a significant error is discovered after publication, the only option is to publish a separate Erratum, the production of which must first be evaluated by the publisher (

Please visit the IOS Press Authors page for further information.

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

Peer Review

Journal on Satisfiability, Boolean Modeling and Computation Peer Review Policy

The Journal on Satisfiability, Boolean Modeling and Computation is a peer-reviewed journal. All articles submitted to the journal undergo a single blind peer review process. This means that the identity of the authors is known with the reviewers but the identity of the reviewers is not communicated to the authors. Please visit our reviewer guidelines for further information about how to conduct a review.

After automatic plagiarism screening through iThenticate, all submitted manuscripts are subjected to initial appraisal by the Editor-in-Chief and, if found suitable for further consideration, to rigorous peer review by independent, anonymous expert referees. Reasons to reject a paper in the pre-screening process could for example be because the work does not fall within the aims and scope, the writing is of poor quality, the instructions to authors were not followed or the presented work is not novel.

Papers deemed suitable to be reviewed will be assigned a handling editor. The handling editor will then invite reviewers to comment on the work. Typically decisions are based on three reviews, in some circumstances a minimum of two reviews may be deemed sufficient to make a decision on a paper. The Editor-in-Chief strives to ensure a typical turnaround time of 3 months from submission until decision.

Reviewers are asked to judge a paper on at least:

  • Originality, novelty and significance of results
  • Technical quality of work
  • Comprehensibility and presentation of the paper
  • Overall impression

Based on the received reviews the handling editor will propose to the Editors-in-Chief a recommendation:

  • Accept
  • Minor revisions required
  • Major revisions required
  • Revise and resubmit
  • Reject

They mean the following:

  1.  Accept: The manuscript is suitable for publication and only requires minor polishing; thus, no further reviews are requested.
  2. Minor revisions required: The authors are required to make moderate changes to their manuscript. The manuscript becomes acceptable for publication if the changes proposed by the reviewers and editors are successfully addressed. The revised manuscript will be examined by the Editors-in-Chief and possibly sent back to all (or a selection of) reviewers for a second round of reviews. Authors are requested to provide a letter to the reviewers detailing the improvements made for the resubmission.
  3. Major revisions required: The manuscript cannot be accepted for publication in its current form. However, a major revision which addresses all issues raised by the reviewers may be acceptable for publication. The revised manuscript will undergo a full second round of review. Authors are requested to provide a letter to the reviewers detailing the improvements made for the resubmission.
  4. Revise and resubmit: In its current form, the manuscript is not suitable for publication. A resubmission would require substantial revisions and is only encouraged in special cases.
  5. Reject: The manuscript is rejected as it is deemed to be out of scope, not relevant, or not meeting the journal’s quality standards in terms of significance, novelty, and/or presentation.


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:

Latest Articles

Discover the latest articles published in the journal:

OMTPlan: A Tool for Optimal Planning Modulo Theories
Francesco Leofante

An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF
Alexander Wolpert, Evgeny Dantsin