Related Tags
boolean-formulas × 25boolean-functions × 10
cc.complexity-theory × 8
sat × 6
lo.logic × 5
circuit-complexity × 4
reference-request × 3
time-complexity × 2
communication-complexity × 2
ds.algorithms × 1
graph-theory × 1
np-hardness × 1
complexity-classes × 1
machine-learning × 1
lower-bounds × 1
reductions × 1
regular-language × 1
polynomial-time × 1
permutations × 1
integer-programming × 1
fourier-analysis × 1
exp-time-algorithms × 1
approximation × 1
query-complexity × 1
combinatorics × 1
