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