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