Journal on Satisfiability Boolean Modeling and Computation

IOS Press
IOS Press
ISSN: 15740617

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
Years of issue
2024
journal names
Journal on Satisfiability Boolean Modeling and Computation
Publications
132
Citations
1 934
h-index
20
Publications
8
Citations
633
Top-3 countries
USA (30 publications)
Germany (21 publications)
France (18 publications)
Germany (2 publications)
United Kingdom (2 publications)
France (1 publication)

Most cited in 5 years

Found 
from chars
Publications found: 0

Top-100

Citing journals

100
200
300
400
500
600
Lecture Notes in Computer Science
576 citations, 29.78%
Constraints
54 citations, 2.79%
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
40 citations, 2.07%
IEEE Access
22 citations, 1.14%
Theory and Practice of Logic Programming
17 citations, 0.88%
Artificial Intelligence
16 citations, 0.83%
Journal of Automated Reasoning
15 citations, 0.78%
International Journal on Artificial Intelligence Tools
15 citations, 0.78%
Proceedings of the ACM on Programming Languages
15 citations, 0.78%
Annals of Operations Research
10 citations, 0.52%
IEEE Transactions on Software Engineering
10 citations, 0.52%
Electronic Proceedings in Theoretical Computer Science, EPTCS
9 citations, 0.47%
International Journal on Software Tools for Technology Transfer
9 citations, 0.47%
Annals of Mathematics and Artificial Intelligence
9 citations, 0.47%
Journal of Scheduling
9 citations, 0.47%
ACM Transactions on Software Engineering and Methodology
9 citations, 0.47%
ACM SIGPLAN Notices
8 citations, 0.41%
Journal of Experimental and Theoretical Artificial Intelligence
6 citations, 0.31%
Formal Methods in System Design
6 citations, 0.31%
Computers and Operations Research
6 citations, 0.31%
Journal of Logic and Computation
6 citations, 0.31%
ACM Transactions on Design Automation of Electronic Systems
6 citations, 0.31%
ACM Transactions on Computational Logic
6 citations, 0.31%
Artificial Intelligence Review
5 citations, 0.26%
INFORMS Journal on Computing
5 citations, 0.26%
Physical Review E
5 citations, 0.26%
IEICE Transactions on Information and Systems
5 citations, 0.26%
Formal Aspects of Computing
5 citations, 0.26%
IEEE Transactions on Evolutionary Computation
5 citations, 0.26%
AIP Conference Proceedings
5 citations, 0.26%
Frontiers of Computer Science
5 citations, 0.26%
Quantum Science and Technology
4 citations, 0.21%
IEEE Transactions on Computers
4 citations, 0.21%
Journal of Computer Science and Technology
4 citations, 0.21%
Electronic Notes in Theoretical Computer Science
4 citations, 0.21%
Algorithms
4 citations, 0.21%
Discrete Applied Mathematics
4 citations, 0.21%
AI Communications
4 citations, 0.21%
IFIP Advances in Information and Communication Technology
4 citations, 0.21%
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
4 citations, 0.21%
European Journal of Operational Research
3 citations, 0.16%
Discrete Optimization
3 citations, 0.16%
Studies in Computational Intelligence
3 citations, 0.16%
IFAC-PapersOnLine
3 citations, 0.16%
Journal of Experimental Algorithmics
3 citations, 0.16%
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
3 citations, 0.16%
Communications in Computer and Information Science
3 citations, 0.16%
Applied Intelligence
3 citations, 0.16%
Advances in Intelligent Systems and Computing
3 citations, 0.16%
ACM Transactions on Cyber-Physical Systems
3 citations, 0.16%
Physical Review Applied
3 citations, 0.16%
Argument and Computation
3 citations, 0.16%
Bioinformatics
3 citations, 0.16%
Computer Journal
3 citations, 0.16%
Software and Systems Modeling
3 citations, 0.16%
ACM SIGLOG News
3 citations, 0.16%
Advances in Optics and Photonics
2 citations, 0.1%
Concurrency Computation Practice and Experience
2 citations, 0.1%
Microprocessors and Microsystems
2 citations, 0.1%
IEEE Transactions on Emerging Topics in Computing
2 citations, 0.1%
IET Information Security
2 citations, 0.1%
International Journal of Approximate Reasoning
2 citations, 0.1%
Regional Environmental Change
2 citations, 0.1%
Autonomous Agents and Multi-Agent Systems
2 citations, 0.1%
Computational Intelligence and Neuroscience
2 citations, 0.1%
Journal of Symbolic Computation
2 citations, 0.1%
Science China Information Sciences
2 citations, 0.1%
Electronics (Switzerland)
2 citations, 0.1%
Journal of Ambient Intelligence and Humanized Computing
2 citations, 0.1%
Logical Methods in Computer Science
2 citations, 0.1%
Journal of Computational Biology
2 citations, 0.1%
ACM Transactions on Programming Languages and Systems
2 citations, 0.1%
Journal of Heuristics
2 citations, 0.1%
Theoretical Computer Science
2 citations, 0.1%
IEEE Transactions on Automatic Control
2 citations, 0.1%
Theoretical And Applied Genetics
2 citations, 0.1%
Automated Software Engineering
2 citations, 0.1%
Empirical Software Engineering
2 citations, 0.1%
Logic Journal of the IGPL
2 citations, 0.1%
Journal of Electronic Testing: Theory and Applications (JETTA)
2 citations, 0.1%
Computation
2 citations, 0.1%
IEEE Sensors Journal
2 citations, 0.1%
Physical Review A
2 citations, 0.1%
Information Systems
2 citations, 0.1%
Procedia Computer Science
2 citations, 0.1%
Theory of Computing Systems
2 citations, 0.1%
IEEE Transactions on Knowledge and Data Engineering
2 citations, 0.1%
Journal of Supercomputing
2 citations, 0.1%
SIAM Journal on Computing
2 citations, 0.1%
SIAM Journal on Discrete Mathematics
2 citations, 0.1%
Decision Support Systems
2 citations, 0.1%
Computational Complexity
2 citations, 0.1%
Journal of the Physical Society of Japan
2 citations, 0.1%
IEEE Transactions on Information Theory
2 citations, 0.1%
Transactions of the Japanese Society for Artificial Intelligence
2 citations, 0.1%
Proceedings of the IEEE
2 citations, 0.1%
Journal of Grid Computing
2 citations, 0.1%
Lecture Notes in Business Information Processing
2 citations, 0.1%
Journal of Statistical Mechanics: Theory and Experiment
2 citations, 0.1%
Physical Review B
2 citations, 0.1%
100
200
300
400
500
600

Citing publishers

100
200
300
400
500
600
700
800
900
Springer Nature
810 citations, 41.88%
Institute of Electrical and Electronics Engineers (IEEE)
445 citations, 23.01%
Association for Computing Machinery (ACM)
185 citations, 9.57%
Elsevier
94 citations, 4.86%
Cambridge University Press
22 citations, 1.14%
World Scientific
18 citations, 0.93%
American Physical Society (APS)
18 citations, 0.93%
Oxford University Press
16 citations, 0.83%
Taylor & Francis
15 citations, 0.78%
IOP Publishing
13 citations, 0.67%
MDPI
12 citations, 0.62%
Institute of Electronics, Information and Communications Engineers (IEICE)
11 citations, 0.57%
IOS Press
9 citations, 0.47%
electronic proceedings in theoretical computer science, eptcs
9 citations, 0.47%
Hindawi Limited
9 citations, 0.47%
Wiley
8 citations, 0.41%
SAGE
6 citations, 0.31%
Frontiers Media S.A.
5 citations, 0.26%
AIP Publishing
5 citations, 0.26%
Institute for Operations Research and the Management Sciences (INFORMS)
5 citations, 0.26%
Society for Industrial and Applied Mathematics (SIAM)
4 citations, 0.21%
Cold Spring Harbor Laboratory
4 citations, 0.21%
Institution of Engineering and Technology (IET)
3 citations, 0.16%
Technischen Universitat Braunschweig
3 citations, 0.16%
Science in China Press
3 citations, 0.16%
Mary Ann Liebert
2 citations, 0.1%
Public Library of Science (PLoS)
2 citations, 0.1%
Optica Publishing Group
2 citations, 0.1%
Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften
2 citations, 0.1%
The Open Journal
2 citations, 0.1%
Physical Society of Japan
2 citations, 0.1%
IGI Global
2 citations, 0.1%
The Japanese Society for Artificial Intelligence
2 citations, 0.1%
Walter de Gruyter
1 citation, 0.05%
Emerald
1 citation, 0.05%
American Chemical Society (ACS)
1 citation, 0.05%
Trans Tech Publications
1 citation, 0.05%
Royal Society of Chemistry (RSC)
1 citation, 0.05%
Institute of Mathematical Statistics
1 citation, 0.05%
Polish Maintenance Society
1 citation, 0.05%
Canadian Science Publishing
1 citation, 0.05%
ASME International
1 citation, 0.05%
CSIRO Publishing
1 citation, 0.05%
NPG Publishing
1 citation, 0.05%
Open Publishing Association
1 citation, 0.05%
100
200
300
400
500
600
700
800
900

Publishing organizations

1
2
3
4
5
6
7
8
9
Johannes Kepler University of Linz
9 publications, 6.82%
University of Lisbon
7 publications, 5.3%
Carnegie Mellon University
7 publications, 5.3%
University of Genoa
4 publications, 3.03%
Delft University of Technology
4 publications, 3.03%
Albert Ludwig University of Freiburg
4 publications, 3.03%
University of Toronto
4 publications, 3.03%
University College Dublin
4 publications, 3.03%
Université de Lille
4 publications, 3.03%
Technion – Israel Institute of Technology
3 publications, 2.27%
Aalto University
3 publications, 2.27%
Sun Yat-sen University
3 publications, 2.27%
Polytechnic University of Turin
3 publications, 2.27%
Paderborn University
3 publications, 2.27%
Université Paris-Saclay
3 publications, 2.27%
Uppsala University
2 publications, 1.52%
Chalmers University of Technology
2 publications, 1.52%
University of Helsinki
2 publications, 1.52%
University of Oxford
2 publications, 1.52%
University of Southampton
2 publications, 1.52%
University of Trento
2 publications, 1.52%
University of Melbourne
2 publications, 1.52%
Stanford University
2 publications, 1.52%
University of California, Santa Cruz
2 publications, 1.52%
Roosevelt University
2 publications, 1.52%
Vienna University of Technology
2 publications, 1.52%
Friedrich Schiller University Jena
2 publications, 1.52%
University of Cologne
2 publications, 1.52%
Ludwig Maximilian University of Munich
2 publications, 1.52%
University of Michigan
2 publications, 1.52%
University of Waterloo
2 publications, 1.52%
Ulm University
2 publications, 1.52%
Steklov Mathematical Institute of Russian Academy of Sciences
1 publication, 0.76%
Indian Institute of Technology Hyderabad
1 publication, 0.76%
Tel Aviv University
1 publication, 0.76%
Hebrew University of Jerusalem
1 publication, 0.76%
Ben-Gurion University of the Negev
1 publication, 0.76%
Karlsruhe Institute of Technology
1 publication, 0.76%
École supérieure de physique et de chimie industrielles de la Ville de Paris
1 publication, 0.76%
Aix-Marseille University
1 publication, 0.76%
Technical University of Munich
1 publication, 0.76%
Radboud University Nijmegen
1 publication, 0.76%
Humboldt University of Berlin
1 publication, 0.76%
ETH Zurich
1 publication, 0.76%
Umeå University
1 publication, 0.76%
Università della Svizzera italiana
1 publication, 0.76%
Autonomous University of Barcelona
1 publication, 0.76%
Imperial College London
1 publication, 0.76%
Durham University
1 publication, 0.76%
University of Manchester
1 publication, 0.76%
Lawrence Berkeley National Laboratory
1 publication, 0.76%
Universite Libre de Bruxelles
1 publication, 0.76%
University of Sassari
1 publication, 0.76%
Institute for Systems Analysis and Computer Science
1 publication, 0.76%
Griffith University
1 publication, 0.76%
Stellenbosch University
1 publication, 0.76%
University of Illinois at Chicago
1 publication, 0.76%
Virginia Tech
1 publication, 0.76%
West Virginia University
1 publication, 0.76%
University of California, Berkeley
1 publication, 0.76%
New York University
1 publication, 0.76%
University of California, Los Angeles
1 publication, 0.76%
University of California, San Diego
1 publication, 0.76%
University of Chicago
1 publication, 0.76%
University of Szeged
1 publication, 0.76%
University of Texas at Dallas
1 publication, 0.76%
Queen's University Belfast
1 publication, 0.76%
Leibniz University Hannover
1 publication, 0.76%
Paris Cité University
1 publication, 0.76%
Swansea University
1 publication, 0.76%
Saarland University
1 publication, 0.76%
Otto-von-Guericke University Magdeburg
1 publication, 0.76%
Carl von Ossietzky University of Oldenburg
1 publication, 0.76%
Hokkaido University
1 publication, 0.76%
Federal University of Rio Grande do Norte
1 publication, 0.76%
University of Bremen
1 publication, 0.76%
University of Leeds
1 publication, 0.76%
University of Tokyo
1 publication, 0.76%
Kyushu University
1 publication, 0.76%
Open University of Catalonia
1 publication, 0.76%
Université Bourgogne Franche-Comté
1 publication, 0.76%
Wilfrid Laurier University
1 publication, 0.76%
Polytechnic University of Catalonia
1 publication, 0.76%
University of Kentucky
1 publication, 0.76%
University of Cincinnati
1 publication, 0.76%
Artificial Intelligence Research Institute
1 publication, 0.76%
University of Colorado Boulder
1 publication, 0.76%
Czech Technical University in Prague
1 publication, 0.76%
Université d'Orléans
1 publication, 0.76%
University of Iowa
1 publication, 0.76%
1
2
3
4
5
6
7
8
9

Publishing organizations in 5 years

1
2
Friedrich Schiller University Jena
2 publications, 25%
Technion – Israel Institute of Technology
1 publication, 12.5%
Imperial College London
1 publication, 12.5%
Roosevelt University
1 publication, 12.5%
Ludwig Maximilian University of Munich
1 publication, 12.5%
University of Leeds
1 publication, 12.5%
1
2

Publishing countries

5
10
15
20
25
30
USA, 30, 22.73%
USA
30 publications, 22.73%
Germany, 21, 15.91%
Germany
21 publications, 15.91%
France, 18, 13.64%
France
18 publications, 13.64%
United Kingdom, 16, 12.12%
United Kingdom
16 publications, 12.12%
Italy, 13, 9.85%
Italy
13 publications, 9.85%
Portugal, 10, 7.58%
Portugal
10 publications, 7.58%
Austria, 10, 7.58%
Austria
10 publications, 7.58%
Israel, 7, 5.3%
Israel
7 publications, 5.3%
Canada, 7, 5.3%
Canada
7 publications, 5.3%
Netherlands, 6, 4.55%
Netherlands
6 publications, 4.55%
Finland, 5, 3.79%
Finland
5 publications, 3.79%
Sweden, 5, 3.79%
Sweden
5 publications, 3.79%
Ireland, 4, 3.03%
Ireland
4 publications, 3.03%
China, 3, 2.27%
China
3 publications, 2.27%
Australia, 3, 2.27%
Australia
3 publications, 2.27%
Spain, 3, 2.27%
Spain
3 publications, 2.27%
Japan, 3, 2.27%
Japan
3 publications, 2.27%
India, 2, 1.52%
India
2 publications, 1.52%
Czech Republic, 2, 1.52%
Czech Republic
2 publications, 1.52%
Switzerland, 2, 1.52%
Switzerland
2 publications, 1.52%
Russia, 1, 0.76%
Russia
1 publication, 0.76%
Belgium, 1, 0.76%
Belgium
1 publication, 0.76%
Bulgaria, 1, 0.76%
Bulgaria
1 publication, 0.76%
Brazil, 1, 0.76%
Brazil
1 publication, 0.76%
Hungary, 1, 0.76%
Hungary
1 publication, 0.76%
South Africa, 1, 0.76%
South Africa
1 publication, 0.76%
5
10
15
20
25
30

Publishing countries in 5 years

1
2
Germany, 2, 25%
Germany
2 publications, 25%
United Kingdom, 2, 25%
United Kingdom
2 publications, 25%
France, 1, 12.5%
France
1 publication, 12.5%
USA, 1, 12.5%
USA
1 publication, 12.5%
Israel, 1, 12.5%
Israel
1 publication, 12.5%
1
2