Related Tags
sat × 348cc.complexity-theory × 153
ds.algorithms × 43
reference-request × 42
np-hardness × 40
counting-complexity × 31
lo.logic × 26
reductions × 24
complexity-classes × 22
graph-theory × 16
time-complexity × 16
proof-complexity × 15
boolean-functions × 13
lower-bounds × 12
boolean-formulas × 12
polynomial-time × 11
random-k-sat × 11
resolution × 11
approximation-hardness × 10
approximation-algorithms × 9
np-complete × 9
np × 9
upper-bounds × 9
exp-time-algorithms × 9
csp × 9