Class information for:
Level 1: ORDERED BINARY DECISION DIAGRAMS//BINARY DECISION DIAGRAMS//BDDS

Basic class information
Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
12 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 1181119
295 3       COMPUTER SCIENCE, HARDWARE & ARCHITECTURE//IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS//IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS 41956
1155 2             SOFT ERROR//SINGLE EVENT UPSET//IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 9839
14051 1                   ORDERED BINARY DECISION DIAGRAMS//BINARY DECISION DIAGRAMS//BDDS 826

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 ORDERED BINARY DECISION DIAGRAMS authKW 856258 4% 61% 37
2 BINARY DECISION DIAGRAMS authKW 665860 9% 24% 72
3 BDDS authKW 491908 2% 68% 19
4 BRANCHING PROGRAMS authKW 406955 3% 44% 24
5 DECISION DIAGRAMS authKW 385921 4% 33% 31
6 INFORMAT LS2 address 343391 1% 100% 9
7 READ ONCE BRANCHING PROGRAMS authKW 309050 1% 90% 9
8 VARIABLE ORDERING authKW 241220 2% 45% 14
9 OBDD authKW 228915 1% 50% 12
10 MULTIPLE OUTPUT FUNCTION authKW 196221 1% 86% 6

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Hardware & Architecture 28176 33% 0% 272
2 Computer Science, Theory & Methods 25741 48% 0% 399
3 Computer Science, Information Systems 3870 18% 0% 151
4 Computer Science, Software Engineering 3018 14% 0% 118
5 Engineering, Electrical & Electronic 1869 29% 0% 242
6 Computer Science, Interdisciplinary Applications 970 10% 0% 81
7 Logic 693 2% 0% 17
8 Computer Science, Artificial Intelligence 558 7% 0% 61
9 Mathematics, Applied 237 8% 0% 66
10 Mathematics 19 4% 0% 31

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 INFORMAT LS2 343391 1% 100% 9
2 FB INFORMAT 170790 4% 15% 30
3 LS2 INFORMAT 152618 0% 100% 4
4 LS2 87207 0% 57% 4
5 ASP ADV TOOLS METHODOL GRP 76309 0% 100% 2
6 CL DAT DF LD V 76309 0% 100% 2
7 CL DAT TDM VM 76309 0% 100% 2
8 STRATEG CAD S 55279 1% 14% 10
9 ARCHITECTURE SYST PLATFORMS 50871 0% 67% 2
10 FB INFORMATIK 49052 0% 43% 3

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 FORMAL METHODS IN SYSTEM DESIGN 125194 5% 8% 41
2 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 44345 9% 2% 76
3 LECTURE NOTES IN COMPUTER SCIENCE 20044 26% 0% 216
4 IEEE TRANSACTIONS ON COMPUTERS 10363 5% 1% 38
5 JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING 8179 1% 2% 11
6 THEORY OF COMPUTING SYSTEMS 7184 2% 1% 14
7 INTEGRATION-THE VLSI JOURNAL 7027 2% 1% 14
8 IEEE DESIGN & TEST OF COMPUTERS 5543 1% 1% 12
9 INFORMATION PROCESSING LETTERS 5318 4% 0% 30
10 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES 5061 4% 0% 33

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 ORDERED BINARY DECISION DIAGRAMS 856258 4% 61% 37 Search ORDERED+BINARY+DECISION+DIAGRAMS Search ORDERED+BINARY+DECISION+DIAGRAMS
2 BINARY DECISION DIAGRAMS 665860 9% 24% 72 Search BINARY+DECISION+DIAGRAMS Search BINARY+DECISION+DIAGRAMS
3 BDDS 491908 2% 68% 19 Search BDDS Search BDDS
4 BRANCHING PROGRAMS 406955 3% 44% 24 Search BRANCHING+PROGRAMS Search BRANCHING+PROGRAMS
5 DECISION DIAGRAMS 385921 4% 33% 31 Search DECISION+DIAGRAMS Search DECISION+DIAGRAMS
6 READ ONCE BRANCHING PROGRAMS 309050 1% 90% 9 Search READ+ONCE+BRANCHING+PROGRAMS Search READ+ONCE+BRANCHING+PROGRAMS
7 VARIABLE ORDERING 241220 2% 45% 14 Search VARIABLE+ORDERING Search VARIABLE+ORDERING
8 OBDD 228915 1% 50% 12 Search OBDD Search OBDD
9 MULTIPLE OUTPUT FUNCTION 196221 1% 86% 6 Search MULTIPLE+OUTPUT+FUNCTION Search MULTIPLE+OUTPUT+FUNCTION
10 BINARY DECISION DIAGRAM BDD 187815 2% 31% 16 Search BINARY+DECISION+DIAGRAM+BDD Search BINARY+DECISION+DIAGRAM+BDD

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.

Classes with closest relation at Level 1


rank cluster_id2 link
1 19223 REED MULLER EXPANSION//REED MULLER TRANSFORM//AND EXOR
2 16893 LOGIC SYNTHESIS//STATE ASSIGNMENT//LOGIC OPTIMIZATION
3 16415 COMMUNICATION COMPLEXITY//NEGATION LIMITED CIRCUIT//EXTENSION COMPLEXITY
4 16703 MODEL CHECKING//PROMELA//PARAMETERIZED SYSTEMS
5 6466 PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS
6 24438 POST SILICON VALIDATION//FUNCTIONAL VERIFICATION//SILICON DEBUG
7 30577 AUTOGRAM BASED SPECIFICATION OF CONTROL UNITS//CONSTANT FAULTS//DESIGN OF RELIABLE CONTROL UNITS
8 14585 SATISFIABILITY//QUANTIFIED BOOLEAN FORMULAS//MAX SAT
9 20879 DUALIZATION//MONOTONE BOOLEAN FUNCTIONS//RUTCOR
10 10492 JOURNAL OF AUTOMATED REASONING//MIZAR//AUTOMATED THEOREM PROVING

Go to start page