Keyphrases
#SAT
50%
#Sat
50%
3-tree
12%
Algebraic Circuits
62%
Algebraic Formulas
12%
Arithmetic Operations
25%
Boolean Functions
25%
Brute Force
25%
Circuit Lower Bounds
12%
Combinatorial Properties
12%
Computational Problems
12%
Constant Depth
75%
Constant-depth Circuits
62%
Disjoint Set
12%
Formula Lower Bounds
25%
Graph Canonization
12%
Graph Isomorphism
50%
Great Depth
12%
Linear Combination
12%
Log-space
50%
Low-degree Polynomials
12%
Lower Bound Techniques
12%
Maximum Depth
12%
Minimal number
25%
Monomial
12%
Multilinear Polynomial
50%
One-variable
12%
Partial Derivative Method
50%
Planar Graph
50%
Polynomial Space
12%
Proof Techniques
12%
Randomized Algorithms
25%
Set-multilinear Formulas
37%
Space Hardness
12%
Superpolynomials
25%
Mathematics
Arithmetic Operation
50%
Computational Problem
16%
Disjoint Set
8%
Linear Combination
8%
Low Degree
8%
Lower and upper bounds
33%
Monomials
8%
Multiset
16%
Partial Derivative
50%
Planar Graph
50%
Polynomial
100%
Upper Bound
16%
Computer Science
Algorithm Designer
50%
Arithmetic Operation
50%
Boolean Circuit
25%
Boolean Function
25%
Degree Polynomial
50%
Randomized Algorithm
25%
Satisfying Assignment
25%
