Return to JournalSeek Home

Genamics JournalSeek

Journal on Satisfiability, Boolean Modeling and Computation

Published/Hosted by IOS Press. ISSN: 1574-0617.

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.

   Further information
   Category Link

Add To Favorites
Email This Page

Side Panel
Privacy Policy About Us Contact Us