Journal on Satisfiability, Boolean Modeling and Computation
- ISSN
- 1574-0617
- Volume
- 9; 4 issues
- Status
- Last issue (8:1-2) published in January 2012
- Next issue
- 8:3 scheduled for 2013
- Back volumes
- 1-7
- Website
- jsat.ewi.tudelft.nl
- Subject
- Artificial Intelligence, Computer & Communication Sciences, Computer Science
The Journal on Satisfiability, Boolean Modeling and Computation (JSAT) is a peer reviewed international journal, publishing high quality, original research papers and survey papers, which evidently contribute to deeper insight.
The scope of JSAT is propositional reasoning, modeling and computation. The Satisfiability discipline is a central focus of JSAT. JSAT welcomes all sorts of contributions to this theme but also encourages 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 is apparent.
Editor-in-Chief Founding Editor Associate Editors Marijn Heule Roberto Sebastiani Editorial Board Fahiem Bacchus Armin Biere Endre Boros Edmund Clarke Nadia Creignou Olivier Dubois John Franco Nicola Galesi Enrico Giunchiglia Andreas Goerdt Carla Gomes Edward A. Hirsch Holger H. Hoos | Kazuo Iwama Henry Kautz Lefteris Kirousis Hans Kleine Büning Daniel Le Berre Chu Min Li Sharad Malik Joao Marques-Silva David Mitchell Remi Monasson Steve Prestwich Daniele Pretolani Paul Purdom Karem Sakallah Uwe Schöning Roberto Sebastiani Bart Selman Laurent Simon Ewald Speckenmeyer Allen Van Gelder Hans Van Maaren Miroslav Velev Hantao Zhang Xishun Zhao |
Cabell's Guide or Directory
CSA Illumina
DBLP Bibliography Server
MathSciNet
Zentralblatt MATH