Journal on Satisfiability, Boolean Modeling and Computation ISSN: 1574-0617

JSAT is an open access peer reviewed journal, publishing high quality original research papers and survey papers which evidently contribute to deeper insight. It is an electronic medium, guaranteeing fast publication.


The scope of 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 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 omittted in the conference proceedings simply because of strict page limitations.

Occasionally JSAT also publishes Research Notes. Research Notes 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.

JSAT is an open access journal, its contributions are freely accessible online. All steps from the reviewing process to the publication are managed by academics. The cost of operating the journal is supported by the SAT association. JSAT volumes are published by IOS Press.


The journal welcomes contributions on the following non-exhaustive list of topics:

Journal content

The content of the journal is currently available on IOS Press digital content library.

One can check on Google scholar which articles are the most cited.

Submission guidelines


Submissions are expected to be PDF files formatted using JSAT style. We provide a LaTeX style file for that purpose. Note that according to our style, table captions should be placed ABOVE tables and figure captions BELOW figures. The JSAT style uses the computer modern font. Therefore, do not use packages (such as times) to change the default fonts. The sample contains the JSAT logo which will be inserted by us at the final stage. For your references, please use the "ios1" bibtex style.

Download an "all in one" zip archive with the above files.

Type of submissions

The journal welcomes three different kinds of submissions, with different space constraints.

Regular submission

There is no space limit restriction on regular submissions. As such, the manuscript is expected to be self contained and to fully cite related work.

Example of regular submission

Research Note

This format is limited to 8 pages, including references, to publish a specific result which does not require more pages to be fully understood.

Example of Research Note

System Description

This format is limited to six pages, including references, to describe a working, possibly useful, publicly available system that may be a solver or a related tool. Authors of the systems that enter an international competition recognized by the scientific community are especially invited to submit a system-description paper describing their system. In this case the usual criteria for a JSAT paper are relaxed. Accuracy, completeness and clarity of the description are the primary reviewing criteria. Relevant citations predating the work are expected.

Example of System Description

Copyright Notice

The corresponding author, desiring to publish an article in the Journal of Satisfiability, Boolean Modeling and Computation, hereby grants and assigns, on behalf of all co-authors, exclusively to the SAT Association, all rights of copyright in this article, and the exclusive right to copy and distribute the article throughout the world, and the authority to exercise or to dispose of all subsidiary rights in all countries and in all languages. The author(s) retain(s) the right to use this material in future works of his or her own authorship. The author(s) retain(s) the right to post an electronic copy of the article on his or her web site and to post pointers to the article. The author(s) agree(s) that the contribution does not contain any material created by others, or from other copyrighted works, unless the written consent of the owner of such material is attached. The corresponding author warrants that s/he has full power to make this agreement, and has not previously granted, assigned, or encumbered any of the rights granted and assigned herein; that the material submitted for publication is the work of the author(s), and is original, unpublished, and not previously the subject of any application for copyright registration (except material for which the SAT Association has written grants of permission to include, as described above).

Submitting your manuscript

The manuscripts have to be submitted through EasyChair.

Note that once your paper is uploaded, your submission is in draft mode, so it is only visible from the authors, it is not visible from the editors. As such, you can safely update it. To formally submit your manuscript to the journal, you need to push the final "submit" button at the top of the submission page.


The JSAT journal is managed by an evolving SAT community. The editorial board is meant to be renewed in part regularly.

Editor in Chief

Daniel Le Berre, Artois University/CNRS, France

Former editors in chief:

Production Editor

Marijn Heule, Carnegie Mellon University, United States

Editorial board


We are deeply indebted to Hans van Maaren for founding this journal in 2004.