No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
sat × 283cc.complexity-theory × 134
ds.algorithms × 41
reference-request × 31
np-hardness × 31
counting-complexity × 27
lo.logic × 22
reductions × 19
complexity-classes × 17
graph-theory × 15
boolean-functions × 12
lower-bounds × 11
approximation-hardness × 11
time-complexity × 10
proof-complexity × 9
approximation-algorithms × 8
circuit-complexity × 8
polynomial-time × 7
upper-bounds × 7
exp-time-algorithms × 7
random-k-sat × 7
csp × 6
boolean-formulas × 6
max2sat × 6
graph-algorithms × 5
