Related Tags
proof-complexity × 72cc.complexity-theory × 40
lo.logic × 23
reference-request × 13
sat × 12
proof-theory × 7
resolution × 6
complexity-classes × 4
descriptive-complexity × 4
graph-theory × 3
np × 3
automated-theorem-proving × 3
np-hardness × 2
computability × 2
polynomials × 2
open-problem × 2
algebraic-complexity × 2
first-order-logic × 2
sum-of-squares × 2
proof-search × 2
feasible-interpolation × 2
ds.algorithms × 1
graph-algorithms × 1
fl.formal-languages × 1
type-theory × 1