Related Tags
2-sat × 58satisfiability × 31
complexity-theory × 18
3-sat × 12
algorithms × 7
graphs × 6
np-complete × 6
reductions × 6
np-hard × 5
polynomial-time × 4
time-complexity × 3
np × 3
counting × 3
logic × 2
boolean-algebra × 2
propositional-logic × 2
constraint-satisfaction × 2
data-structures × 1
computability × 1
proof-techniques × 1
combinatorics × 1
approximation × 1
space-complexity × 1
probability-theory × 1
complexity-classes × 1