Class information for:
Level 2: CONSTRAINTS//PROOF COMPLEXITY//BOUNDED ARITHMETIC

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
149 3       COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 65076
2527 2             CONSTRAINTS//PROOF COMPLEXITY//BOUNDED ARITHMETIC 4040
7239 1                   CONSTRAINT SATISFACTION PROBLEM//CONSTRAINT SATISFACTION//HOLOGRAPHIC ALGORITHMS 1416
13794 1                   PROOF COMPLEXITY//BOUNDED ARITHMETIC//PROPOSITIONAL PROOF COMPLEXITY 842
14585 1                   SATISFIABILITY//QUANTIFIED BOOLEAN FORMULAS//MAX SAT 790
19482 1                   CONSTRAINTS//GLOBAL CONSTRAINTS//CONSTRAINT PROGRAMMING 527
20879 1                   DUALIZATION//MONOTONE BOOLEAN FUNCTIONS//RUTCOR 465

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 CONSTRAINTS journal 710457 4% 58% 158
2 PROOF COMPLEXITY authKW 588977 2% 80% 94
3 BOUNDED ARITHMETIC authKW 512347 2% 83% 79
4 CONSTRAINT SATISFACTION PROBLEM authKW 500271 4% 43% 149
5 CONSTRAINT SATISFACTION authKW 399378 4% 33% 156
6 CORK CONSTRAINT COMPUTAT address 287936 2% 47% 79
7 GLOBAL CONSTRAINTS authKW 235842 1% 59% 51
8 SATISFIABILITY authKW 217996 3% 26% 108
9 CONSTRAINT PROGRAMMING authKW 198678 3% 23% 112
10 ARC CONSISTENCY authKW 157234 1% 81% 25

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 147127 13% 4% 537
2 Computer Science, Theory & Methods 83847 40% 1% 1598
3 Computer Science, Artificial Intelligence 47106 29% 1% 1154
4 Mathematics, Applied 10366 21% 0% 846
5 Mathematics 10012 23% 0% 911
6 Computer Science, Software Engineering 5648 9% 0% 365
7 Computer Science, Hardware & Architecture 2968 5% 0% 206
8 Computer Science, Information Systems 2569 7% 0% 289
9 Operations Research & Management Science 2351 6% 0% 238
10 Computer Science, Interdisciplinary Applications 307 3% 0% 122

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 CORK CONSTRAINT COMPUTAT 287936 2% 47% 79
2 RUTCOR 60263 1% 15% 53
3 IC PARC 51989 0% 67% 10
4 LINA 43546 1% 14% 39
5 COMP LANGUAGES E185 40109 0% 86% 6
6 ESTACIO FRANCA 40109 0% 86% 6
7 PREUVES PROGRAMMES SYST PPS 38997 0% 100% 5
8 FRE 2729 37317 0% 32% 15
9 CRIL 35058 1% 19% 24
10 IST INESC ID 34737 0% 64% 7

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 CONSTRAINTS 710457 4% 58% 158
2 ARTIFICIAL INTELLIGENCE 115961 5% 8% 187
3 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 57543 2% 9% 82
4 ANNALS OF PURE AND APPLIED LOGIC 51491 3% 6% 118
5 LECTURE NOTES IN COMPUTER SCIENCE 44195 18% 1% 713
6 JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 36886 2% 7% 66
7 ARCHIVE FOR MATHEMATICAL LOGIC 31214 2% 6% 63
8 JOURNAL OF SYMBOLIC LOGIC 30766 3% 4% 108
9 DISCRETE APPLIED MATHEMATICS 24028 4% 2% 144
10 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 22760 1% 9% 32

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 PROOF COMPLEXITY 588977 2% 80% 94 Search PROOF+COMPLEXITY Search PROOF+COMPLEXITY
2 BOUNDED ARITHMETIC 512347 2% 83% 79 Search BOUNDED+ARITHMETIC Search BOUNDED+ARITHMETIC
3 CONSTRAINT SATISFACTION PROBLEM 500271 4% 43% 149 Search CONSTRAINT+SATISFACTION+PROBLEM Search CONSTRAINT+SATISFACTION+PROBLEM
4 CONSTRAINT SATISFACTION 399378 4% 33% 156 Search CONSTRAINT+SATISFACTION Search CONSTRAINT+SATISFACTION
5 GLOBAL CONSTRAINTS 235842 1% 59% 51 Search GLOBAL+CONSTRAINTS Search GLOBAL+CONSTRAINTS
6 SATISFIABILITY 217996 3% 26% 108 Search SATISFIABILITY Search SATISFIABILITY
7 CONSTRAINT PROGRAMMING 198678 3% 23% 112 Search CONSTRAINT+PROGRAMMING Search CONSTRAINT+PROGRAMMING
8 ARC CONSISTENCY 157234 1% 81% 25 Search ARC+CONSISTENCY Search ARC+CONSISTENCY
9 PROPOSITIONAL PROOF COMPLEXITY 154902 1% 83% 24 Search PROPOSITIONAL+PROOF+COMPLEXITY Search PROPOSITIONAL+PROOF+COMPLEXITY
10 HOLOGRAPHIC ALGORITHMS 126345 0% 90% 18 Search HOLOGRAPHIC+ALGORITHMS Search HOLOGRAPHIC+ALGORITHMS

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 2


rank cluster_id2 link
1 2109 NONMONOTONIC REASONING//ANSWER SET PROGRAMMING//BELIEF REVISION
2 2531 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//TERM REWRITING
3 2869 ALGEBRA UNIVERSALIS//NATURAL DUALITY//CONGRUENCE LATTICE
4 1399 COMPETITIVE ANALYSIS//APPROXIMATION ALGORITHMS//ONLINE ALGORITHMS
5 348 DISCRETE MATHEMATICS//JOURNAL OF GRAPH THEORY//JOURNAL OF COMBINATORIAL THEORY SERIES B
6 746 COMPUTER SCIENCE, THEORY & METHODS//COMPUTATIONAL GEOMETRY//SIAM JOURNAL ON COMPUTING
7 1025 ANNALS OF PROBABILITY//BRANCHING RANDOM WALK//BRANCHING PROCESS
8 1270 ACM TRANSACTIONS ON DATABASE SYSTEMS//QUERY OPTIMIZATION//INFORMATION SYSTEMS
9 2476 MANAGEMENT CONSULTING//MANPOWER PLANNING//APPOINTMENT SCHEDULING
10 450 VEHICLE ROUTING//OPERATIONS RESEARCH & MANAGEMENT SCIENCE//VEHICLE ROUTING PROBLEM

Go to start page