Class information for:
Level 1: LDCSEE//LCSEE//QUANTIFIED BOOLEAN FORMULA

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
25420 234 25.0 26%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
2010 4987 CONSTRAINTS//INDUCTIVE INFERENCE//PAC LEARNING

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 LDCSEE Address 16 61% 7% 17
2 LCSEE Address 11 78% 3% 7
3 QUANTIFIED BOOLEAN FORMULA Author keyword 10 63% 4% 10
4 ALGORITHM PORTFOLIOS Author keyword 5 55% 3% 6
5 QUANTIFIED BOOLEAN FORMULAS Author keyword 3 35% 3% 7
6 2 CNF Author keyword 2 67% 1% 2
7 PARALLEL SOLVING Author keyword 2 67% 1% 2
8 Q RESOLUTION Author keyword 2 67% 1% 2
9 QUANTIFIED CONSTRAINT SATISFACTION PROBLEMS Author keyword 2 67% 1% 2
10 QBF Author keyword 2 33% 2% 5

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 QUANTIFIED BOOLEAN FORMULA 10 63% 4% 10 Search QUANTIFIED+BOOLEAN+FORMULA Search QUANTIFIED+BOOLEAN+FORMULA
2 ALGORITHM PORTFOLIOS 5 55% 3% 6 Search ALGORITHM+PORTFOLIOS Search ALGORITHM+PORTFOLIOS
3 QUANTIFIED BOOLEAN FORMULAS 3 35% 3% 7 Search QUANTIFIED+BOOLEAN+FORMULAS Search QUANTIFIED+BOOLEAN+FORMULAS
4 2 CNF 2 67% 1% 2 Search 2+CNF Search 2+CNF
5 PARALLEL SOLVING 2 67% 1% 2 Search PARALLEL+SOLVING Search PARALLEL+SOLVING
6 Q RESOLUTION 2 67% 1% 2 Search Q+RESOLUTION Search Q+RESOLUTION
7 QUANTIFIED CONSTRAINT SATISFACTION PROBLEMS 2 67% 1% 2 Search QUANTIFIED+CONSTRAINT+SATISFACTION+PROBLEMS Search QUANTIFIED+CONSTRAINT+SATISFACTION+PROBLEMS
8 QBF 2 33% 2% 5 Search QBF Search QBF
9 EXPLANATION FACILITY 1 50% 1% 2 Search EXPLANATION+FACILITY Search EXPLANATION+FACILITY
10 LOSS OF DISPATCHABILITY 1 100% 1% 2 Search LOSS+OF+DISPATCHABILITY Search LOSS+OF+DISPATCHABILITY

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 QUANTIFIED BOOLEAN FORMULAS 5 32% 6% 13
2 MULTI ENGINE SOLVER 3 100% 1% 3
3 QBF 2 40% 2% 4
4 BOOLEAN FORMULAS 2 27% 3% 6
5 CONSTRAINT DATABASES 1 33% 1% 2
6 IMPROVED 2ND ORDER BOUNDS 1 50% 0% 1
7 ONLINE TIME ALLOCATION 1 50% 0% 1
8 QBFS 1 50% 0% 1
9 QUANTIFIED CONSTRAINT SATISFACTION 1 50% 0% 1
10 ALGORITHM PORTFOLIOS 1 29% 1% 2

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Understanding the Empirical Hardness of NP-Complete Problems 2014 1 11 64%

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 LDCSEE 16 61% 7.3% 17
2 LCSEE 11 78% 3.0% 7
3 FORMAL MODELS VERIFICAT 1 23% 1.3% 3
4 DATABASE ARTIFICIAL INTELLIGENCE GRP E184 2 1 50% 0.4% 1
5 FSTC CSC SNT 1 50% 0.4% 1
6 KNOWLEDGE BASED SYST GRP E184 3 1 50% 0.4% 1
7 POUGHKEEPSIE DEV 1 50% 0.4% 1
8 TRIO TEAM 1 50% 0.4% 1
9 DYNAM DISTRIBUTED INFORMAT SYST GRP 0 33% 0.4% 1
10 TORONTO INTELLIGENT DECIS ENGN 0 33% 0.4% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000169173 SATISFIABILITY//MESSAGE PASSING ALGORITHMS//CAVITY AND REPLICA METHOD
2 0.0000114961 ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES
3 0.0000113680 CONSTRAINTS//CORK CONSTRAINT COMPUTAT//GLOBAL CONSTRAINTS
4 0.0000098797 BOUNDED ARITHMETIC//PROOF COMPLEXITY//PROPOSITIONAL PROOF COMPLEXITY
5 0.0000091827 INFORMAT TECHNOL CORE S//DISCRIMINANT SEQUENCE//ROOT CLASSIFICATION
6 0.0000079359 DESCRIPTION LOGICS//FUZZY DESCRIPTION LOGICS//LOGIC FOR THE SEMANTIC WEB
7 0.0000077453 15 PUZZLE//PATTERN DATABASES//SLIDING TILE PUZZLES
8 0.0000068467 TIMETABLING//UNIVERSITY TIMETABLING//EXAMINATION TIMETABLING
9 0.0000064672 ANSWER SET PROGRAMMING//NONMONOTONIC REASONING//DEFAULT LOGIC
10 0.0000062670 WOOD BASED COMPOSITE MATERIALS//SPECIAL PROJECTS GRP//PROBLEM SOLVING ENVIRONMENT