Related Tags
sat × 275cc.complexity-theory × 131
ds.algorithms × 39
reference-request × 30
np-hardness × 30
counting-complexity × 27
lo.logic × 22
reductions × 18
complexity-classes × 17
graph-theory × 12
boolean-functions × 12
approximation-hardness × 11
time-complexity × 10
lower-bounds × 10
proof-complexity × 9
approximation-algorithms × 8
circuit-complexity × 8
upper-bounds × 7
polynomial-time × 6
exp-time-algorithms × 6
csp × 6
boolean-formulas × 6
random-k-sat × 6
graph-algorithms × 5
co.combinatorics × 5
