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

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
1890 5963 25.0 38%


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
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
75 3       OPERATIONS RESEARCH & MANAGEMENT SCIENCE//ENGINEERING, INDUSTRIAL//EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 81966
1890 2             CONSTRAINTS//BOUNDED ARITHMETIC//PROOF COMPLEXITY 5963
8098 1                   MESSAGE PASSING ALGORITHMS//CAVITY AND REPLICA METHOD//NUMBER PARTITIONING 1293
8388 1                   CONSTRAINTS//CORK CONSTRAINT COMPUTAT//GLOBAL CONSTRAINTS 1259
13555 1                   TIMETABLING//EXAMINATION TIMETABLING//COURSE TIMETABLING 829
14361 1                   BOUNDED ARITHMETIC//PROOF COMPLEXITY//PROPOSITIONAL PROOF COMPLEXITY 774
16656 1                   DUALIZATION//RUTCOR//HYPERGRAPH TRANSVERSALS 643
20487 1                   QUANTIFIED BOOLEAN FORMULAS//MAX SAT//CONFIGURATION CHECKING 458
24233 1                   MAXIMUM CLIQUE//MAXIMUM CLIQUE PROBLEM//CLIQUE RELAXATIONS 319
27381 1                   DISTRIBUTED CONSTRAINT OPTIMIZATION//DISTRIBUTED CONSTRAINT SATISFACTION//INTELLIGENT CALENDAR APPLICATIONS 231
31168 1                   MULTIVARIATE ADAPTIVE REGRESSION SPLINES MARS//ELECT TELECOMMUN INFORMAT IEETA//MULTIVARIATE IMPUTATION BY CHAINED EQUATIONS MICE 157

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 CONSTRAINTS journal 471740 3% 59% 156
2 BOUNDED ARITHMETIC authKW 383288 1% 90% 83
3 PROOF COMPLEXITY authKW 327249 1% 75% 85
4 SATISFIABILITY authKW 308923 3% 39% 156
5 TIMETABLING authKW 299657 2% 48% 121
6 CORK CONSTRAINT COMPUTAT address 261888 2% 55% 93
7 CONSTRAINT PROGRAMMING authKW 171296 2% 27% 124
8 GLOBAL CONSTRAINTS authKW 153593 1% 61% 49
9 CONSTRAINT SATISFACTION authKW 136051 2% 24% 111
10 CONSTRAINT SATISFACTION PROBLEM authKW 127057 2% 28% 90

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with term
in class
1 Logic 75884 8% 3% 469
2 Computer Science, Theory & Methods 72646 31% 1% 1822
3 Computer Science, Artificial Intelligence 60732 27% 1% 1584
4 Operations Research & Management Science 20329 14% 1% 808
5 Mathematics, Applied 9396 17% 0% 997
6 Computer Science, Software Engineering 7498 9% 0% 513
7 Computer Science, Information Systems 4165 7% 0% 441
8 Mathematics 3206 11% 0% 680
9 Physics, Mathematical 2709 7% 0% 393
10 Computer Science, Hardware & Architecture 2696 4% 0% 242

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 CORK CONSTRAINT COMPUTAT 261888 2% 55% 93
2 NEURAL COMP GRP 53441 1% 28% 37
3 RUTCOR 48410 1% 16% 58
4 LINA 44427 1% 18% 48
5 LERIA 41668 1% 23% 36
6 FRE 2729 35265 0% 38% 18
7 IST INESC ID 32758 0% 80% 8
8 COMP SCI 31534 16% 1% 983
9 CRIL 29811 0% 22% 27
10 UMR 8188 22245 0% 43% 10

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 CONSTRAINTS 471740 3% 59% 156
2 ARTIFICIAL INTELLIGENCE 66905 3% 8% 173
3 LECTURE NOTES IN COMPUTER SCIENCE 46789 15% 1% 908
4 JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 45552 1% 10% 89
5 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 37083 1% 9% 80
6 JOURNAL OF HEURISTICS 31457 1% 11% 57
7 ANNALS OF PURE AND APPLIED LOGIC 24671 2% 5% 100
8 DISCRETE APPLIED MATHEMATICS 22140 3% 3% 169
9 THEORY AND PRACTICE OF LOGIC PROGRAMMING 21096 1% 9% 44
10 ARCHIVE FOR MATHEMATICAL LOGIC 19044 1% 6% 60

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 BOUNDED ARITHMETIC 383288 1% 90% 83 Search BOUNDED+ARITHMETIC Search BOUNDED+ARITHMETIC
2 PROOF COMPLEXITY 327249 1% 75% 85 Search PROOF+COMPLEXITY Search PROOF+COMPLEXITY
3 SATISFIABILITY 308923 3% 39% 156 Search SATISFIABILITY Search SATISFIABILITY
4 TIMETABLING 299657 2% 48% 121 Search TIMETABLING Search TIMETABLING
5 CONSTRAINT PROGRAMMING 171296 2% 27% 124 Search CONSTRAINT+PROGRAMMING Search CONSTRAINT+PROGRAMMING
6 GLOBAL CONSTRAINTS 153593 1% 61% 49 Search GLOBAL+CONSTRAINTS Search GLOBAL+CONSTRAINTS
7 CONSTRAINT SATISFACTION 136051 2% 24% 111 Search CONSTRAINT+SATISFACTION Search CONSTRAINT+SATISFACTION
8 CONSTRAINT SATISFACTION PROBLEM 127057 2% 28% 90 Search CONSTRAINT+SATISFACTION+PROBLEM Search CONSTRAINT+SATISFACTION+PROBLEM
9 MESSAGE PASSING ALGORITHMS 124379 1% 48% 51 Search MESSAGE+PASSING+ALGORITHMS Search MESSAGE+PASSING+ALGORITHMS
10 CAVITY AND REPLICA METHOD 110477 1% 47% 46 Search CAVITY+AND+REPLICA+METHOD Search CAVITY+AND+REPLICA+METHOD

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.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 BRAUNSTEIN, A , DALL'ASTA, L , SEMERJIAN, G , ZDEBOROVA, L , (2016) THE LARGE DEVIATIONS OF THE WHITENING PROCESS IN RANDOM CONSTRAINT SATISFACTION PROBLEMS.JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT. VOL. . ISSUE . P. - 53 93% 1
2 NORDSTROM, J , (2013) PEBBLE GAMES, PROOF COMPLEXITY, AND TIME-SPACETRADE-OFFS.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 9. ISSUE 3. P. - 54 98% 2
3 QU, R , BURKE, E , MCCOLLUM, B , MERLOT, L , LEE, S , (2009) A SURVEY OF SEARCH METHODOLOGIES AND AUTOMATED SYSTEM DEVELOPMENT FOR EXAMINATION TIMETABLING.JOURNAL OF SCHEDULING. VOL. 12. ISSUE 1. P. 55 -89 50 83% 109
4 ZDEBOROVA, L , (2009) STATISTICAL PHYSICS OF HARD OPTIMIZATION PROBLEMS.ACTA PHYSICA SLOVACA. VOL. 59. ISSUE 3. P. 169 -303 74 68% 15
5 SEGERLIND, N , (2007) THE COMPLEXITY OF PROPOSITIONAL PROOFS.BULLETIN OF SYMBOLIC LOGIC. VOL. 13. ISSUE 4. P. 417 -481 55 87% 22
6 AL-YAKOOB, SM , SHERALI, HD , (2015) MATHEMATICAL MODELS AND ALGORITHMS FOR A HIGH SCHOOL TIMETABLING PROBLEM.COMPUTERS & OPERATIONS RESEARCH. VOL. 61. ISSUE . P. 56 -68 40 98% 2
7 AMARAL, P , PAIS, TC , (2016) COMPROMISE RATIO WITH WEIGHTING FUNCTIONS IN A TABU SEARCH MULTI-CRITERIA APPROACH TO EXAMINATION TIMETABLING.COMPUTERS & OPERATIONS RESEARCH. VOL. 72. ISSUE . P. 160 -174 45 79% 1
8 BETTINELLI, A , CACCHIANI, V , ROBERTI, R , TOTH, P , (2015) AN OVERVIEW OF CURRICULUM-BASED COURSE TIMETABLING.TOP. VOL. 23. ISSUE 2. P. 313 -349 38 97% 2
9 PILLAY, N , (2014) A SURVEY OF SCHOOL TIMETABLING RESEARCH.ANNALS OF OPERATIONS RESEARCH. VOL. 218. ISSUE 1. P. 261 -293 38 93% 12
10 SUN, YF , GUO, BH , WEI, W , ZHENG, ZM , (2010) ON THE THRESHOLDS IN LINEAR AND NONLINEAR BOOLEAN EQUATIONS.EUROPEAN PHYSICAL JOURNAL B. VOL. 76. ISSUE 1. P. 123 -146 41 100% 0

Classes with closest relation at Level 2


Rank Class id link
1 2838 MANPOWER PLANNING//CREW SCHEDULING//PERSONNEL SCHEDULING
2 998 APPROXIMATION ALGORITHMS//MATHEMATICAL PROGRAMMING//OPERATIONS RESEARCH & MANAGEMENT SCIENCE
3 2426 ALGEBRA UNIVERSALIS//NATURAL DUALITY//ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS
4 2712 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS//PHYSICAL DESIGN//FLOORPLANNING
5 1122 NONMONOTONIC REASONING//ANSWER SET PROGRAMMING//LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
6 2339 COMPETITIVE ANALYSIS//ONLINE ALGORITHMS//BIN PACKING
7 303 DISCRETE MATHEMATICS//JOURNAL OF GRAPH THEORY//JOURNAL OF COMBINATORIAL THEORY SERIES B
8 1509 IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION//EVOLUTIONARY ALGORITHMS//DIFFERENTIAL EVOLUTION
9 1387 VEHICLE ROUTING//VEHICLE ROUTING PROBLEM//OPERATIONS RESEARCH & MANAGEMENT SCIENCE
10 708 COMPUTER SCIENCE, THEORY & METHODS//JOURNAL OF AUTOMATED REASONING//LAMBDA CALCULUS

Go to start page