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

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
14585 1                   SATISFIABILITY//QUANTIFIED BOOLEAN FORMULAS//MAX SAT 790

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 SATISFIABILITY authKW 567086 10% 18% 77
2 QUANTIFIED BOOLEAN FORMULAS authKW 502639 3% 60% 21
3 MAX SAT authKW 499510 3% 52% 24
4 SAT authKW 378207 7% 17% 55
5 PROPOSITIONAL SATISFIABILITY authKW 293884 2% 39% 19
6 MINIMAL UNSATISFIABILITY authKW 283684 1% 89% 8
7 MAXIMUM SATISFIABILITY authKW 205748 2% 37% 14
8 BOOLEAN SATISFIABILITY authKW 199436 3% 25% 20
9 ALGORITHM PORTFOLIOS authKW 182362 1% 57% 8
10 IST INESC ID address 177701 1% 64% 7

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Artificial Intelligence 17843 39% 0% 312
2 Computer Science, Theory & Methods 15710 39% 0% 306
3 Mathematics, Applied 2204 22% 0% 172
4 Computer Science, Hardware & Architecture 2195 10% 0% 76
5 Computer Science, Software Engineering 2016 12% 0% 95
6 Logic 1466 3% 0% 24
7 Operations Research & Management Science 796 8% 0% 60
8 Computer Science, Information Systems 594 8% 0% 61
9 Computer Science, Interdisciplinary Applications 439 7% 0% 55
10 Computer Science, Cybernetics 40 1% 0% 6

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 IST INESC ID 177701 1% 64% 7
2 SEN2 159573 1% 100% 4
3 CSI CASL 89758 0% 75% 3
4 FORMAL MODELS VERIFICAT 84472 1% 35% 6
5 CNRS INRIA LRI 79787 0% 100% 2
6 LOG COMPUTAT PROGRAM 71806 0% 60% 3
7 LOG COGNIT 70036 2% 15% 12
8 INFORMAT SYST ALGORITHMS 59837 0% 50% 3
9 LERSIA 53190 0% 67% 2
10 TRANSPORT PROBLEMS 53190 0% 67% 2

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 CONSTRAINTS 76978 3% 8% 23
2 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 56808 5% 4% 36
3 JOURNAL OF AUTOMATED REASONING 47066 4% 4% 29
4 ARTIFICIAL INTELLIGENCE 21977 5% 2% 36
5 JOURNAL OF HEURISTICS 16780 2% 3% 15
6 AI COMMUNICATIONS 14426 2% 3% 14
7 INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS 13550 2% 2% 15
8 DISCRETE APPLIED MATHEMATICS 13153 6% 1% 47
9 LECTURE NOTES IN COMPUTER SCIENCE 12768 21% 0% 169
10 JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 7319 2% 1% 13

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 SATISFIABILITY 567086 10% 18% 77 Search SATISFIABILITY Search SATISFIABILITY
2 QUANTIFIED BOOLEAN FORMULAS 502639 3% 60% 21 Search QUANTIFIED+BOOLEAN+FORMULAS Search QUANTIFIED+BOOLEAN+FORMULAS
3 MAX SAT 499510 3% 52% 24 Search MAX+SAT Search MAX+SAT
4 SAT 378207 7% 17% 55 Search SAT Search SAT
5 PROPOSITIONAL SATISFIABILITY 293884 2% 39% 19 Search PROPOSITIONAL+SATISFIABILITY Search PROPOSITIONAL+SATISFIABILITY
6 MINIMAL UNSATISFIABILITY 283684 1% 89% 8 Search MINIMAL+UNSATISFIABILITY Search MINIMAL+UNSATISFIABILITY
7 MAXIMUM SATISFIABILITY 205748 2% 37% 14 Search MAXIMUM+SATISFIABILITY Search MAXIMUM+SATISFIABILITY
8 BOOLEAN SATISFIABILITY 199436 3% 25% 20 Search BOOLEAN+SATISFIABILITY Search BOOLEAN+SATISFIABILITY
9 ALGORITHM PORTFOLIOS 182362 1% 57% 8 Search ALGORITHM+PORTFOLIOS Search ALGORITHM+PORTFOLIOS
10 CONFIGURATION CHECKING 166220 1% 83% 5 Search CONFIGURATION+CHECKING Search CONFIGURATION+CHECKING

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 1


rank cluster_id2 link
1 19482 CONSTRAINTS//GLOBAL CONSTRAINTS//CONSTRAINT PROGRAMMING
2 9932 CAVITY AND REPLICA METHOD//MESSAGE PASSING ALGORITHMS//NEURAL COMP GRP
3 13794 PROOF COMPLEXITY//BOUNDED ARITHMETIC//PROPOSITIONAL PROOF COMPLEXITY
4 20879 DUALIZATION//MONOTONE BOOLEAN FUNCTIONS//RUTCOR
5 7239 CONSTRAINT SATISFACTION PROBLEM//CONSTRAINT SATISFACTION//HOLOGRAPHIC ALGORITHMS
6 14051 ORDERED BINARY DECISION DIAGRAMS//BINARY DECISION DIAGRAMS//BDDS
7 24538 MAXIMUM CLIQUE//CLIQUE RELAXATIONS//MAXIMUM CLIQUE PROBLEM
8 10492 JOURNAL OF AUTOMATED REASONING//MIZAR//AUTOMATED THEOREM PROVING
9 24438 POST SILICON VALIDATION//FUNCTIONAL VERIFICATION//SILICON DEBUG
10 29232 DISTRIBUTED CONSTRAINT OPTIMIZATION//DISTRIBUTED CONSTRAINT SATISFACTION//DCOP

Go to start page