Related Tags
boolean-formulas × 36boolean-functions × 13
cc.complexity-theory × 10
sat × 8
lo.logic × 7
circuit-complexity × 6
reference-request × 3
np-hardness × 3
circuits × 3
complexity-classes × 2
time-complexity × 2
reductions × 2
communication-complexity × 2
polynomial-time × 2
circuit-depth × 2
ds.algorithms × 1
graph-theory × 1
type-theory × 1
machine-learning × 1
lower-bounds × 1
regular-language × 1
parameterized-complexity × 1
integer-programming × 1
treewidth × 1
p-vs-np × 1