No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
3-sat × 115satisfiability × 64
complexity-theory × 39
np-complete × 33
reductions × 24
algorithms × 13
np-hard × 13
np × 8
sat-solvers × 8
p-vs-np × 7
time-complexity × 6
logic × 6
boolean-algebra × 6
decision-problem × 4
constraint-satisfaction × 4
2-sat × 4
graphs × 3
turing-machines × 3
polynomial-time × 3
optimization × 2
reference-request × 2
proof-techniques × 2
complexity-classes × 2
randomized-algorithms × 2
quantum-computing × 2
