Volume 15 was the last complete volume of the Journal on Satisfiability, Boolean Modeling and Computation. This journal has been discontinued
Aims & Scope
This journal has discontinued publications as of 2024.
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.
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
Hans van Maaren (Founding Editor)
Delft University of Technology
The Netherlands