No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
3-sat × 120satisfiability × 68
complexity-theory × 44
np-complete × 33
reductions × 24
np-hard × 14
algorithms × 13
np × 9
sat-solvers × 9
p-vs-np × 7
time-complexity × 6
logic × 6
boolean-algebra × 6
2-sat × 5
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