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

Loading...