Computer Science
Algorithms
46%
And-States
7%
Approximation (Algorithm)
7%
Benchmark
32%
Booleans
100%
Combinatorial Optimisation
9%
Communication Complexity
7%
Complexity Measure
6%
Computation
7%
Computational Problem
7%
Computer Science
7%
Conjunctive Normal Form
24%
Connected Subgraph
7%
Constant Space
7%
Constraint Programming
10%
Dynamic Programming
7%
Evaluation
18%
Graph Coloring
14%
Inference Rule
7%
Integer-Linear Programming
7%
Iteration
7%
Linear Program
12%
Maximal Number
14%
Mixed Integer Programming
21%
Optimization Problem
10%
Problem Instance
7%
Proof Complexity
49%
Proof System
80%
Random Graphs
7%
Reasoning
36%
Refinement Step
7%
Related Question
7%
Relational Structure
7%
Relationships
7%
Resolution Refutation
7%
Restart
7%
Space Complexity
43%
Standards
28%
Strongest Result
9%
Structure Element
14%
Subgraphs
10%
Survey
9%
Syntactics
7%
Theoretical Lower Bound
7%
Transition Model
7%
Unsatisfiable Set
7%
Vector Multiplication
7%
Vehicle Routing
7%
Mathematics
Approximation
7%
Asymptotics
7%
Bounds
98%
Calculus
71%
Clique
27%
Coincides
10%
Constant
27%
Decision Tree
7%
Direction
10%
Edge
7%
Graph Coloring
7%
Inner Functions
14%
Linear Combination
7%
Low Degree
11%
Measure Space
7%
Number
36%
Open Problem
11%
Open Question
6%
Order
7%
Polynomial
86%
Regular Graph
5%
Running Time
7%
Space-Time
14%
Sum of Squares
17%
Symmetry Breaking
7%
Tradeoff
18%
Upper Bound
22%
Variables
35%
Wide Range
6%
Worst Case
14%