checkmate problems puzzles asked Nov 19, 2020 at 17:17

dataset teaching clinical-trials asked Nov 23, 2011 at 16:00

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

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

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

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

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

complexity-theory satisfiability decision-problem complexity-classes asked Nov 5, 2013 at 15:46

cc.complexity-theory complexity-classes sat asked Nov 15, 2013 at 9:03

checkmate problems puzzles retrograde-analysis asked Nov 22, 2020 at 17:35