SAT 2012 and JSAT

The scope of the Journal on Satisfiability, Boolean Modeling and Computation (JSAT) is propositional reasoning, modeling and computation. The Satisfiability discipline, in the broader sense, is a central focus of JSAT.

To this extent, JSAT welcomes substantial extensions of SAT 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.