Related Tags
set-theory × 38lo.logic × 7
cc.complexity-theory × 5
graph-theory × 5
type-theory × 5
reference-request × 4
co.combinatorics × 4
automated-theorem-proving × 4
np-hardness × 2
automata-theory × 2
pl.programming-languages × 2
ds.data-structures × 2
ct.category-theory × 2
type-systems × 2
set-cover × 2
partition-problem × 2
db.databases × 2
coq × 2
extremal-combinatorics × 2
approximation-algorithms × 1
fl.formal-languages × 1
optimization × 1
computability × 1
time-complexity × 1
sat × 1