Free-Journal.com - JSAT is really a peer reviewed Journal, publishing top quality original research papers and survey papers which evidently bring about deeper insight. It can be an electronic medium, guaranteeing fast publication.
Occasionally JSAT also publishes Research Notes. Research Notes will also be thoroughly reviewed but aren't considered full Journal publications and hence will just be designated and should be referenced to so. Also, JSAT published papers on System Description, being contributions having a concentrate on the internals of any Solver.
JSAT contributions are freely accessible on line.
The scope of JSAT is propositional reasoning, modeling and computation. The Satisfiability discipline is really a central focus of JSAT. We welcome all types of contributions for this theme but additionally 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 is apparent.
Especially JSAT welcomes substantial extensions of conference papers, where the particular conference contribution should be cited. So, authors have the ability to provide more detailed information of the work (theoretical details, proofs or theorems, algorithmic or implementation details, more exhaustive empirical evaluations) which were enforced to become omittted inside the conference proceedings simply due to strict page limitations
Site : http://jsat.ewi.tudelft.nl/
ISSN : 1574-0617
Subject : Computer Science - Mathematics
Publisher : Delft University
Country : Netherlands
Language : English
Keyword : satisfiabiity, boolean reasoning, boolean computing, boolean modeling logic
Start year : 2005
 |
| Journal on Satisfiablility, Boolean Modeling and Komputation |
