Class information for:
Level 1: READ ONCE BRANCHING PROGRAMS//ORDERED BINARY DECISION DIAGRAMS//INFORMAT LS2

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
13789 750 20.4 29%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
2594 3152 MULTIPLE VALUED LOGIC//LOGIC SYNTHESIS//REED MULLER EXPANSIONS

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 READ ONCE BRANCHING PROGRAMS Author keyword 20 100% 1% 9
2 ORDERED BINARY DECISION DIAGRAMS Author keyword 18 51% 3% 25
3 INFORMAT LS2 Address 17 100% 1% 8
4 BRANCHING PROGRAMS Author keyword 16 47% 3% 25
5 MULTIWAY DECISION GRAPHS Author keyword 8 70% 1% 7
6 BINARY DECISION DIAGRAMS Author keyword 8 19% 5% 39
7 BDDS Author keyword 8 39% 2% 15
8 ORDERED BINARY DECISION DIAGRAM Author keyword 7 48% 1% 11
9 SYMBOLIC TRAJECTORY EVALUATION Author keyword 6 58% 1% 7
10 FREE BDDS Author keyword 6 100% 1% 4

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class		 LCSH search Wikipedia search
1 READ ONCE BRANCHING PROGRAMS 20 100% 1% 9 Search READ+ONCE+BRANCHING+PROGRAMS Search READ+ONCE+BRANCHING+PROGRAMS
2 ORDERED BINARY DECISION DIAGRAMS 18 51% 3% 25 Search ORDERED+BINARY+DECISION+DIAGRAMS Search ORDERED+BINARY+DECISION+DIAGRAMS
3 BRANCHING PROGRAMS 16 47% 3% 25 Search BRANCHING+PROGRAMS Search BRANCHING+PROGRAMS
4 MULTIWAY DECISION GRAPHS 8 70% 1% 7 Search MULTIWAY+DECISION+GRAPHS Search MULTIWAY+DECISION+GRAPHS
5 BINARY DECISION DIAGRAMS 8 19% 5% 39 Search BINARY+DECISION+DIAGRAMS Search BINARY+DECISION+DIAGRAMS
6 BDDS 8 39% 2% 15 Search BDDS Search BDDS
7 ORDERED BINARY DECISION DIAGRAM 7 48% 1% 11 Search ORDERED+BINARY+DECISION+DIAGRAM Search ORDERED+BINARY+DECISION+DIAGRAM
8 SYMBOLIC TRAJECTORY EVALUATION 6 58% 1% 7 Search SYMBOLIC+TRAJECTORY+EVALUATION Search SYMBOLIC+TRAJECTORY+EVALUATION
9 FREE BDDS 6 100% 1% 4 Search FREE+BDDS Search FREE+BDDS
10 BRANCHING PROGRAM 5 60% 1% 6 Search BRANCHING+PROGRAM Search BRANCHING+PROGRAM

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 ONCE BRANCHING PROGRAMS 22 81% 2% 13
2 BINARY DECISION DIAGRAMS 18 28% 7% 53
3 BDDS 11 49% 2% 17
4 MULTIWAY DECISION GRAPHS 11 69% 1% 9
5 OBDDS 10 41% 3% 19
6 ONLY BRANCHING PROGRAMS 8 100% 1% 5
7 INTEGER MULTIPLICATION 6 42% 1% 11
8 BITS TWICE 6 100% 1% 4
9 BRANCHING PROGRAMS 5 28% 2% 16
10 BOOLEAN FUNCTIONS 5 10% 6% 44

Journals

Reviews

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 INFORMAT LS2 17 100% 1.1% 8
2 LS2 INFORMAT 6 100% 0.5% 4
3 FB INFORMAT 5 16% 4.1% 31
4 LS2 3 57% 0.5% 4
5 STRATEG CAD S 2 19% 1.5% 11
6 ARCHITECTURE SYST PLATFORMS 2 67% 0.3% 2
7 THEORET CYBERNET 2 30% 0.8% 6
8 FB INFORMATIK 2 43% 0.4% 3
9 ASP ADV TOOLS METHODOL GRP 1 100% 0.3% 2
10 CL DAT DF LD V 1 100% 0.3% 2

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000215960 NEGATION LIMITED CIRCUIT//COMMUNICATION COMPLEXITY//MULTIPARTY COMMUNICATION COMPLEXITY
2 0.0000215424 MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2
3 0.0000212596 REED MULLER EXPANSIONS//FRENCH SING ORE//REED MULLER EXPANSION
4 0.0000205915 STATE ASSIGNMENT//FSM SYNTHESIS//LOGIC SYNTHESIS
5 0.0000164965 STOP AND WAIT PROTOCOLS//SWEEP LINE METHOD//STATE EXPLOSION
6 0.0000130746 DESIGN ERROR DIAGNOSIS//PASS FAIL INFORMATION//WITT POLYNOMIAL
7 0.0000130572 MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC
8 0.0000124141 AUTOGRAM BASED SPECIFICATION OF CONTROL UNITS//DESIGN OF RELIABLE CONTROL UNITS//FORMALIZED AND COMPUTER AIDED METHODS OF LOGIC DESIGN
9 0.0000118303 ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES
10 0.0000099122 RANDOM ACCESS MACHINE//FLOOR OPERATION//MAX PROBLEM