Related Tags
sat × 288cc.complexity-theory × 136
ds.algorithms × 42
reference-request × 31
np-hardness × 31
counting-complexity × 28
lo.logic × 23
reductions × 19
complexity-classes × 18
graph-theory × 15
boolean-functions × 12
lower-bounds × 11
approximation-hardness × 11
time-complexity × 10
proof-complexity × 9
random-k-sat × 9
approximation-algorithms × 8
circuit-complexity × 8
polynomial-time × 7
upper-bounds × 7
exp-time-algorithms × 7
boolean-formulas × 7
phase-transition × 7
max2sat × 7
csp × 6
