Journal of Satisfiability Boolean Modeling and Computation (ERA Journal)

Journal of Satisfiability Boolean Modeling and Computation is an ERA accredited research journal used as part of the evaluation of the ERA research rankings.

Journal of Satisfiability Boolean Modeling and Computation issn is: 1574-0617.

The field covered by Journal of Satisfiability Boolean Modeling and Computation as part of the evaluation of Australian university research excellence is:

Computation Theory and Mathematics Research Rankings (Sub-Field)

Other ERA-accredited journals supporting the evaluation of the Computation Theory and Mathematics field include:

- ACM Transactions on Algorithms
- Algorithmic Operations Research
- Chicago Journal of Theoretical Computer Science
- Computational Intelligence
- Designs Codes and Cryptography
- Discussiones Mathematicae: Graph Theory
- Engineering with Computers: an international journal for simulation-based engineering
- International Journal of Critical Infrastructure Protection
- Journal of Communications
- Journal of Heuristics
- Journal of Symbolic Computation
- Journal of Visualization
- Journal of the Japanese Society of Computational Statistics
- Ruanjian Xuebao
- Security and Communication Networks