Armin Biere,
"Journal on Satisfiability, Boolean Modeling and Computation (JSAT)"
, Vol. 9, 12-2014, ISSN: 1574-0617
Original Titel:
Journal on Satisfiability, Boolean Modeling and Computation (JSAT)
Sprache des Titels:
Englisch
Original Kurzfassung:
Notifications
View
Subscribe
Journal Content
Search
Search Scope
Browse
By Issue
By Author
By Title
Font Size
Make font size smaller Make font size default Make font size larger
Information
For Readers
For Authors
For Librarians
Home
About
Login
Register
Search
Current
Archives
Announcements
Home > Vol 9 (2014)
Journal on Satisfiability, Boolean Modeling and Computation
JSATJSAT 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.
Occasionally JSAT also publishes Research Notes. Research Notes are also thoroughly reviewed but are not considered full Journal publications and hence will be designated and must be referenced to as such. Also, JSAT publishes papers on System Descriptions, being contributions with a focus on the internals of a Solver.
JSAT contributions are freely accessible on line.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 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.
Forschungs-