Related Tags
proof-complexity × 85cc.complexity-theory × 42
lo.logic × 25
reference-request × 18
sat × 14
resolution × 10
proof-theory × 7
complexity-classes × 4
descriptive-complexity × 4
graph-theory × 3
np × 3
automated-theorem-proving × 3
np-hardness × 2
computability × 2
lower-bounds × 2
polynomials × 2
open-problem × 2
algebraic-complexity × 2
boolean-formulas × 2
circuits × 2
sum-of-squares × 2
first-order-logic × 2
proof-search × 2
feasible-interpolation × 2
ds.algorithms × 1