cc.complexity-theory reference-request np-hardness sat reductions asked Sep 26 '11 at 20:52

cc.complexity-theory complexity-classes conditional-results polynomial-hierarchy asked Sep 5 '11 at 1:06

cc.complexity-theory np-hardness complexity-classes sat asked Sep 13 '11 at 10:51

cc.complexity-theory lo.logic complexity-classes computability sat asked Mar 19 '13 at 11:13

cc.complexity-theory reference-request np-hardness sat asked Jul 15 '13 at 15:23

cc.complexity-theory complexity-classes sat asked Nov 15 '13 at 9:03

writing-system phonetics ipa transliteration asked Jun 26 '16 at 0:46

complexity-theory np-complete decision-problem complexity-classes asked Nov 1 '13 at 22:56

complexity-theory satisfiability decision-problem complexity-classes asked Nov 5 '13 at 15:46

cc.complexity-theory sat counting-complexity polynomial-hierarchy asked Nov 11 '11 at 17:13