Open Access logo PLoS transparent

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.

ISSN: 1574-0617
Download flyer Interested in JSAT news? Sign up here

Scope

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.

Topics

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.

IOS Press banner

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

Submission guidelines

Format

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

Since 2020, the articles are published online with Open Access and distributed under the terms of the Creative Commons Attribution Non-Commercial License (CC BY-NC 4.0).

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 Editorial Manager.

Note that Editorial Manager is used by many journals. You will need however to create an account for using that specific instance dedicated to the JSAT journal.

Manuscripts submitted before 2022 are still managed using easychair.

Board

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

Editor in Chief

Armin Biere, University of Freiburg, Germany

Former editors in chief:

Production Editor

Marijn Heule, Carnegie Mellon University, United States

Editorial board

Acknowledgements

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

Imprint

The JSAT journal is under the auspices of the SAT association which also is responsible for the content of this page (imprint, contact).