Journal on Satisfiability Boolean Modeling and Computation
Last updated ISSN 1574-0617
Journal on Satisfiability Boolean Modeling and Computation is published by IOS Press in computer science. It is open access. Its article processing charge is not published.
Is your paper a fit?
The surest way to know is to compare your own abstract against what this journal has actually been publishing, rather than against its aims-and-scope page. Paste your abstract and Journal Hunt will tell you how close Journal on Satisfiability Boolean Modeling and Computation is — and show you journals like it.
What it publishes
Recent work in Journal on Satisfiability Boolean Modeling and Computation concentrates on these topics, taken from its published record rather than from its own description:
- Formal Methods in Verification
- Constraint Satisfaction and Optimization
- Advanced Surface Polishing Techniques
- Advanced machining processes and optimization
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Engineering Technology and Methodologies
- Bayesian Modeling and Causal Inference
Key facts
| Publisher | IOS Press |
|---|---|
| ISSN | 1574-0617, 1875-5011 |
| Subject area | Computer Science |
| Access | Open access |
| Article processing charge | Not published |
| Indexed in | Not recorded |
| Articles published | 206 |
| Publishing since | 2005 |
Facts come from OpenAlex, DOAJ and Wikidata and may lag the journal’s own pages. Check the publisher’s site before submitting. Indexing shown here is what is recorded, not a complete picture — about a third of journals have no indexing recorded anywhere we can read, so “not recorded” does not mean a journal is absent from Scopus or Web of Science.
Journals like Journal on Satisfiability Boolean Modeling and Computation
Other established journals in computer science, if this one is not the right home for your paper: