Related Tags
sat × 306cc.complexity-theory × 142
ds.algorithms × 43
np-hardness × 35
reference-request × 32
counting-complexity × 29
lo.logic × 23
complexity-classes × 22
reductions × 21
graph-theory × 15
boolean-functions × 12
time-complexity × 11
lower-bounds × 11
approximation-hardness × 11
random-k-sat × 11
proof-complexity × 9
approximation-algorithms × 8
circuit-complexity × 8
polynomial-time × 8
upper-bounds × 8
boolean-formulas × 8
phase-transition × 8
max2sat × 8
np-complete × 7
exp-time-algorithms × 7