CARVIEW

MOTORHOMES

Select Language

HTTP/2 200 content-type: text/html x-ws-ratelimit-limit: 1000 x-ws-ratelimit-remaining: 999 date: Tue, 30 Dec 2025 17:21:57 GMT server: Apache last-modified: Wed, 26 Feb 2025 20:18:15 GMT etag: W/"612e-62f1145f94cf0" content-encoding: gzip Journal on Satisfiability, Boolean Modeling and Computation

Journal on Satisfiability, Boolean Modeling and Computation

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.

February 26, 2025 We are in the process of setting up a new reviewing system and publisher. Stay tuned!.

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.

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. 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 were published by IOS Press from 2006 to 2024.

Topics

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

Applications of SAT
Encoding and reformulation
Formal Verification
Parallel solvers
Proof Complexity
Pseudo-Boolean Optimization, MaxSAT, MUS extraction and related problems
Quantified Boolean Formulas, theoretical or practical aspects
SAT, theoretical or practical aspects
Satisfiability Modulo Theories, theoretical or practical aspects
Solver or tool design

The SAT association, JSAT and the SAT conference

The SAT association supports two main venues to publish work related to SAT: the yearly SAT conference proceedings and this journal.

Both venues have their own merits. The conference proceedings publish work on a strict schedule and strict space constraints. The journal removes most of those limits: submissions are accepted at any time, and there are no space constraints on regular papers.

There are some interactions between those venues: there have been several special issues of the journal dedicated to the competitive events organized around the SAT conference. We expect to tighten those interactions in the future by having a special track during the SAT conference to present recently published papers on JSAT.

Journal content

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

Volume 15 (2024): IOS Press
Volume 14 (2023): IOS Press
Volume 13 (2022): IOS Press
Volume 12 (2020): (IOS Press, local with code and data)
Volume 11 (2019): Special Volume on SAT 2018 Competitive Events (IOS Press, local with code and data)
Volume 10 (2016): Covers 2016-2019
Volume 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations
Volume 8 (2012): Covers 2012-2014, issue 1-2, issue 3-4
Volume 7 (2009): Covers 2009-2011, issue 1, issue 2-3, issue 4 Special Issue on Parallel SAT Solving
Volume 6 (2008): issue 1-3, issue 4
Volume 5 (2008): Special Volume on Application of Constraints to Formal Verification
Volume 4 (2007): issue 1, issue 2-4 Special Issue on the 2007 Competitions
Volume 3 (2007): issue 1-2 includes a Special Issue on Satisfiability Modulo Theories, issue 3-4
Volume 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations
Volume 1 (2006): issue 1, issue 2, issue 3-4 Special Issue on SAT/CP Integration

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

Submission guidelines

We will update that information as soon as a new publisher has been identified.

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

If you need more than 6 pages to describe a system, then you should submit it as a regular submission.

The journal has published several highly cited (more than 100 citations according to Google Scholar as of February 26, 2025) regular papers describing solvers or system descriptions, including:

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).

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:

Daniel Le Berre, Artois University/CNRS, France
John Franco, University of Cincinnati, United States
Oliver Kullmann, Swansea University, United Kingdom
(Founder) Hans van Maaren, Delft University of Technology, The Netherlands

Production Editor

Marijn Heule, Carnegie Mellon University, United States

Editorial board

Olaf Beyersdorff, Friedrich Schiller University Jena, Germany
Nadia Creignou, Aix-Marseille Université/CNRS, France
Vijay Ganesh, University of Waterloo, Canada
Holger Hoos, Leiden University, The Netherlands and RWTH Aachen University, Germany
Mikoláš Janota, Czech Technical University in Prague, Czech Republic
Matti Jarvisalo, University of Helsinki, Finland
Antonina Kolokolova, Memorial University of Newfoundland, Canada
Oliver Kullmann, Swansea University, United Kingdom
Ines Lynce, University of Lisbon, Portugal
Joao Marques-Silva , University of Toulouse, France

David Mitchell, Simon Fraser University, Canada
Nina Narodytska, VMWare Research, United States
Jakob Nordström, University of Copenhagen and Lund University, Denmark and Sweden
Luca Pulina, University of Sassari, Italy
Roberto Sebastiani, Trento University, Italy
Martina Seidl, Johannes Kepler University in Linz, Austria
Laurent Simon, Bordeaux INP / University of Bordeaux / CNRS, France
Carsten Sinz, Karlsruhe Institute of Technology, Germany
Ofer Strichman, Technion, Israel
Naoyuki Tamura, Kobe University, Japan
Xishun Zhao, Sun-Yat Sen University, China

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).

Original Source | Taken Source