Related Tags
boolean-formulas × 42boolean-functions × 15
cc.complexity-theory × 10
lo.logic × 9
sat × 9
circuit-complexity × 6
reference-request × 5
np-hardness × 4
time-complexity × 3
polynomial-time × 3
circuits × 3
complexity-classes × 2
reductions × 2
communication-complexity × 2
proof-complexity × 2
decision-trees × 2
circuit-depth × 2
ds.algorithms × 1
graph-theory × 1
type-theory × 1
machine-learning × 1
lower-bounds × 1
np-complete × 1
regular-language × 1
parameterized-complexity × 1