Journal on Satisfiability, Boolean Modeling and Computation

Share this journal
ISSN online
12; 1 issues
Last issue (12:1) published on 30 June 2020
Next issue
13:1 scheduled for May 2021
Back volumes
Artificial Intelligence, Computer Science, Mathematics

Do you Wish to Receive Updates? – If you would like to receive news from the Journal on Satisfiability, Boolean Modeling and Computation (JSAT), you can sign up here.

Open For Submissions – JSAT is open for submissions! For instructions please visit

Open Access Fee Waiver – JSAT is open access and there are no publication charges associated to publishing in the journal. Publication costs are covered by the SAT association and IOS Press.

Conference SAT 2021 SAT 2021 will take place from July 5-9 2021 in Barcelona. 

The scope of the Journal on Satisfiability, Boolean Modeling and Computation (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 (SAT) 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 omitted 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 and these articles 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.

Editor in Chief
Daniel Le Berre
Artois University/CNRS

Former Editors in Chief
John Franco, University of Cincinnati, United States
Oliver Kullmann, Swansea University, United Kingdom
Hans van Maaren (Founding Editor), Delft University of Technology, The Netherlands

Production Editor
Marijn Heule, University of Texas at Austin, United States

Editorial board
Olaf Beyersdorff, Friedrich Schiller University Jena, Germany
Armin Biere, Johannes Kepler University in Linz, Austria
Nadia Creignou, Aix-Marseille Université/CNRS, France
John Franco, University of Cincinnati, United States
Vijay Ganesh, University of Waterloo, Canada
Holger Hoos, Leiden University, The Netherlands
Matti Jarvisalo, University of Helsinki, Finland
Hans Kleine Büning, Paderborn University, Germany
Antonina Kolokolova, Memorial University of Newfoundland, Canada
Oliver Kullmann, Swansea University, United Kingdom
Ines Lynce, University of Lisbon, Portugal
Joao Marques-Silva, University of Lisbon, Portugal
David Mitchell, Simon Fraser University, Canada
Nina Narodytska, VMWare Research, United States
Jakob Nordström, KTH Royal Institute of Technology, Sweden
Luca Pulina, University of Sassari, Italy
Martina Seidl, Johannes Kepler University in Linz, Austria
Roberto Sebastiani, Trento University, Italy
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

Please refer to for detailed instructions on the formatting and submission of manuscripts.