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.
JSAT also welcomes detailed descriptions of new promising but challenging applications around SAT, to make the SAT community aware of those new applications, and 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. Paper copies of JSAT volumes are published by IOS Press.
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 espect to tighten those interactions in the future by having a special track during the SAT conference to present recently published papers on JSAT.
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 "plainbv" bibtex style.
Download an "all in one" zip archive with the above files.
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.
This format is limited to 8 pages, including references, to publish a specific result which does not require more pages to be fully understood.
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.
The corresponding author, desiring to publish an article in the Journal of Satisﬁability, 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).
The JSAT journal is managed by an evolving SAT community. The editorial board is meant to be renewed in part regularly.
Daniel Le Berre, Artois University/CNRS, France
Former editors in chief:
Marijn Heule, University of Texas at Austin, United States
We are deeply indebted to Hans van Maaren for founding this journal in 2004.