cc.complexity-theory big-picture algebraic-complexity p-vs-np gct asked Jun 10, 2011 at 15:28

computability relativization asked Jan 25, 2016 at 9:26

cc.complexity-theory lo.logic algebraic-complexity proof-complexity sum-of-squares asked Nov 20, 2012 at 15:56

cc.complexity-theory np p-vs-np asked May 10, 2013 at 7:22

cc.complexity-theory cr.crypto-security big-picture one-way-function asked Nov 5, 2011 at 20:38

cc.complexity-theory circuit-complexity lower-bounds upper-bounds asked Jul 30, 2012 at 17:27

ds.algorithms reference-request sat asked Nov 23, 2011 at 17:23

co.combinatorics lo.logic sat asked Nov 19, 2011 at 5:42

reference-request lo.logic survey automated-theorem-proving linear-logic asked Nov 19, 2011 at 6:50

pl.programming-languages semantics equivalence asked Dec 13, 2011 at 18:14