No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
3-sat × 126satisfiability × 73
complexity-theory × 46
np-complete × 33
reductions × 25
algorithms × 14
np-hard × 14
sat-solvers × 10
np × 9
logic × 8
p-vs-np × 7
time-complexity × 6
boolean-algebra × 6
2-sat × 6
decision-problem × 4
constraint-satisfaction × 4
graphs × 3
turing-machines × 3
polynomial-time × 3
computability × 2
optimization × 2
reference-request × 2
proof-techniques × 2
complexity-classes × 2
randomized-algorithms × 2
