Class information for:
Level 1: QUANTIFIED BOOLEAN FORMULAS//MAX SAT//CONFIGURATION CHECKING

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
20487 458 29.8 31%


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
20487 1                   QUANTIFIED BOOLEAN FORMULAS//MAX SAT//CONFIGURATION CHECKING 458

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 QUANTIFIED BOOLEAN FORMULAS authKW 687637 4% 54% 19
2 MAX SAT authKW 668194 5% 48% 21
3 CONFIGURATION CHECKING authKW 333351 1% 100% 5
4 ALGORITHM PORTFOLIOS authKW 296980 2% 64% 7
5 QBF authKW 272230 2% 58% 7
6 PROPOSITIONAL SATISFIABILITY authKW 272216 3% 29% 14
7 MAXIMUM SATISFIABILITY authKW 266664 3% 33% 12
8 SAT authKW 226754 7% 11% 32
9 SATISFIABILITY authKW 214338 8% 9% 36
10 Q RESOLUTION authKW 213343 1% 80% 4

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 Computer Science, Artificial Intelligence 13253 44% 0% 203
2 Computer Science, Theory & Methods 10086 41% 0% 187
3 Computer Science, Hardware & Architecture 1046 9% 0% 40
4 Logic 993 3% 0% 15
5 Computer Science, Software Engineering 800 10% 0% 46
6 Mathematics, Applied 611 16% 0% 71
7 Operations Research & Management Science 527 8% 0% 37
8 Computer Science, Information Systems 302 7% 0% 33
9 Computer Science, Interdisciplinary Applications 277 7% 0% 33
10 Computer Science, Cybernetics 33 1% 0% 4

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 FORMAL MODELS VERIFICAT 192159 2% 41% 7
2 IST INESC ID 166670 1% 50% 5
3 CSI CASL 150006 1% 75% 3
4 LERSIA 88892 0% 67% 2
5 ARTIFICIAL INTELLIGENCE 3A 85715 1% 43% 3
6 INTEGRATED INTELLIGENT SYST 81466 2% 11% 11
7 ADV VERIFICAT SYST 66670 0% 100% 1
8 AG MONIEN 66670 0% 100% 1
9 ATOPTECH 66670 0% 100% 1
10 BUSINESS INFORMAT GRP E188 3 66670 0% 100% 1

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 JOURNAL OF AUTOMATED REASONING 37950 4% 3% 20
2 CONSTRAINTS 25235 2% 4% 10
3 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 21862 4% 2% 17
4 JOURNAL OF HEURISTICS 18194 3% 2% 12
5 ARTIFICIAL INTELLIGENCE 16803 5% 1% 24
6 AI COMMUNICATIONS 15552 2% 2% 11
7 LECTURE NOTES IN COMPUTER SCIENCE 9402 24% 0% 112
8 JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 9073 2% 1% 11
9 INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS 5196 2% 1% 7
10 HIGH PERFORMANCE SYSTEMS-THE MAGAZINE FOR TECHNOLOGY CHAMPIONS 5127 0% 8% 1

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 QUANTIFIED BOOLEAN FORMULAS 687637 4% 54% 19 Search QUANTIFIED+BOOLEAN+FORMULAS Search QUANTIFIED+BOOLEAN+FORMULAS
2 MAX SAT 668194 5% 48% 21 Search MAX+SAT Search MAX+SAT
3 CONFIGURATION CHECKING 333351 1% 100% 5 Search CONFIGURATION+CHECKING Search CONFIGURATION+CHECKING
4 ALGORITHM PORTFOLIOS 296980 2% 64% 7 Search ALGORITHM+PORTFOLIOS Search ALGORITHM+PORTFOLIOS
5 QBF 272230 2% 58% 7 Search QBF Search QBF
6 PROPOSITIONAL SATISFIABILITY 272216 3% 29% 14 Search PROPOSITIONAL+SATISFIABILITY Search PROPOSITIONAL+SATISFIABILITY
7 MAXIMUM SATISFIABILITY 266664 3% 33% 12 Search MAXIMUM+SATISFIABILITY Search MAXIMUM+SATISFIABILITY
8 SAT 226754 7% 11% 32 Search SAT Search SAT
9 SATISFIABILITY 214338 8% 9% 36 Search SATISFIABILITY Search SATISFIABILITY
10 Q RESOLUTION 213343 1% 80% 4 Search Q+RESOLUTION Search Q+RESOLUTION

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 MORGADO, A , HERAS, F , LIFFITON, M , PLANES, J , MARQUES-SILVA, J , (2013) ITERATIVE AND CORE-GUIDED MAXSAT SOLVING: A SURVEY AND ASSESSMENT.CONSTRAINTS. VOL. 18. ISSUE 4. P. 478 -534 21 54% 22
2 HEULE, M , JARVISALO, M , LONSING, F , SEIDL, M , BIERE, A , (2015) CLAUSE ELIMINATION FOR SAT AND QSAT.JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH. VOL. 53. ISSUE . P. 127 -168 14 82% 2
3 HEULE, MJH , SEIDL, M , BIERE, A , (2017) SOLUTION VALIDATION AND EXTRACTION FOR QBF PREPROCESSING.JOURNAL OF AUTOMATED REASONING. VOL. 58. ISSUE 1. P. 97 -125 11 100% 0
4 LI, T , XIAO, NF , (2015) SOLVING QBF WITH HEURISTIC SMALL WORLD OPTIMIZATION SEARCH ALGORITHM.INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY. VOL. 12. ISSUE 4. P. 370 -378 10 91% 1
5 HERAS, F , LARROSA, J , OLIVERAS, A , (2008) MINIMAXSAT: AN EFFICIENT WEIGHTED MAX-SAT SOLVER.JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH. VOL. 31. ISSUE . P. 1 -32 11 85% 46
6 LI, CM , MANYA, F , PLANES, J , (2007) NEW INFERENCE RULES FOR MAX-SAT.JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH. VOL. 30. ISSUE . P. 321-359 15 63% 44
7 LI, CM , MANYA, F , PLANES, J , (2007) NEW INFERENCE RULES FOR MAX-SAT.JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH. VOL. 30. ISSUE . P. 321-359 15 63% 44
8 LU, Z , HAO, JK , (2012) ADAPTIVE MEMORY-BASED LOCAL SEARCH FOR MAX-SAT.APPLIED SOFT COMPUTING. VOL. 12. ISSUE 8. P. 2063 -2071 10 83% 4
9 LEYTON-BROWN, K , HOOS, HH , HUTTER, F , XU, L , (2014) UNDERSTANDING THE EMPIRICAL HARDNESS OF NP-COMPLETE PROBLEMS.COMMUNICATIONS OF THE ACM. VOL. 57. ISSUE 5. P. 98 -107 9 82% 4
10 MARTINS, R , MANQUINHO, V , LYNCE, I , (2015) IMPROVING LINEAR SEARCH ALGORITHMS WITH MODEL-BASED APPROACHES FOR MAXSAT SOLVING.JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE. VOL. 27. ISSUE 5. P. 673 -701 9 82% 0

Classes with closest relation at Level 1


Rank Class id link
1 8388 CONSTRAINTS//CORK CONSTRAINT COMPUTAT//GLOBAL CONSTRAINTS
2 16656 DUALIZATION//RUTCOR//HYPERGRAPH TRANSVERSALS
3 24233 MAXIMUM CLIQUE//MAXIMUM CLIQUE PROBLEM//CLIQUE RELAXATIONS
4 14361 BOUNDED ARITHMETIC//PROOF COMPLEXITY//PROPOSITIONAL PROOF COMPLEXITY
5 8098 MESSAGE PASSING ALGORITHMS//CAVITY AND REPLICA METHOD//NUMBER PARTITIONING
6 30788 META LEARNING//LIACC FEP//ALGORITHM RECOMMENDATION
7 35179 CLOSEST STRING PROBLEM//CLOSEST SUBSTRING//CLOSEST STRING
8 14808 ORDERED BINARY DECISION DIAGRAMS//BINARY DECISION DIAGRAMS//BRANCHING PROGRAMS
9 6407 ABSTRACT INTERPRETATION//SEPARATION LOGIC//PREDICATE ABSTRACTION
10 9998 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MIZAR

Go to start page