JSAT is a 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.
JSAT contributions are freely on-line accessible.
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 issues as Computational Logic, Constraint
Programming, Quantified Boolean Logic, Pseudo Boolean Methods, zero-one
Programming, Integer Programming and Operations Research, whenever the
link to Satisfiability is apparent.
JSAT is published by Delft University.
To the benefit of the community JSAT also maintains the sites JSAT
Addendum and JSAT Links.
Contributions to these sites however are not to be considered as JSAT
articles and hence should not be referred to as such.
If you are viewing this text, your browser lacks the ability to read
frames. Don't worry, you can still enjoy our site. All the pages can be
viewed from the <a href="menu.html">>menu</a> page.