72,116 badges
| Site |
Name |
Awarded |
Score ↑ |
|
Computer Science
|
artificial-intelligence
|
1 |
1,000 |
|
|
Computer Science
|
mathematical-foundations
|
1 |
1,000 |
|
|
Computer Science
|
bipartite-matching
|
1 |
1,000 |
|
|
Computer Science
|
sorting
|
1 |
1,000 |
|
|
Computer Science
|
algorithm-analysis
|
1 |
1,000 |
|
|
Computer Science
|
big-o-notation
|
1 |
1,000 |
|
|
Computer Science
|
asymptotics
|
1 |
1,000 |
|
|
Computer Science
|
proof-techniques
|
1 |
1,000 |
|
|
Computer Science
|
parsers
|
1 |
1,000 |
|
|
Computer Science
|
concurrency
|
1 |
1,000 |
|
|
Computer Science
|
satisfiability
|
1 |
1,000 |
|
|
Computer Science
|
type-theory
|
1 |
1,000 |
|
|
Computer Science
|
finite-automata
|
1 |
1,000 |
|
|
Computer Science
|
combinatorics
|
1 |
1,000 |
|
|
Computer Science
|
dependent-types
|
1 |
1,000 |
|
|
Computer Science
|
ambiguity
|
1 |
1,000 |
|
|
Computer Science
|
sampling
|
1 |
1,000 |
|
|
Computer Science
|
np-hard
|
1 |
1,000 |
|
|
Computer Science
|
oracle-machines
|
1 |
1,000 |
|
|
Computer Science
|
space-complexity
|
1 |
1,000 |
|
|
Computer Science
|
minimum-spanning-tree
|
1 |
1,000 |
|
|
Computer Science
|
logic
|
1 |
1,000 |
|
|
Computer Science
|
randomized-algorithms
|
1 |
1,000 |
|
|
Computer Science
|
3-sat
|
1 |
1,000 |
|
|
Computer Science
|
sat-solvers
|
1 |
1,000 |
|
|
Computer Science
|
regular-languages
|
1 |
1,000 |
|
|
Computer Science
|
permutations
|
1 |
1,000 |
|
|
Computer Science
|
integer-programming
|
1 |
1,000 |
|
|
Computer Science
|
machine-learning
|
1 |
1,000 |
|
|
Computer Science
|
counting
|
1 |
1,000 |
|
|
Computer Science
|
turing-machines
|
1 |
1,000 |
|
|
Computer Science
|
computability
|
1 |
1,000 |
|
|
Computer Science
|
computer-vision
|
1 |
1,000 |
|
|
Computer Science
|
boolean-algebra
|
1 |
1,000 |
|
|
Computer Science
|
coding-theory
|
1 |
1,000 |
|
|
Computer Science
|
propositional-logic
|
1 |
1,000 |
|
|
Computer Science
|
recurrence-relation
|
1 |
1,000 |
|
|
Computer Science
|
time-complexity
|
1 |
1,000 |
|
|
Computer Science
|
reductions
|
1 |
1,000 |
|
|
Computer Science
|
np
|
1 |
1,000 |
|
|
Computer Science
|
matrices
|
1 |
1,000 |
|
|
Computer Science
|
probabilistic-algorithms
|
1 |
1,000 |
|
|
Computer Science
|
matching
|
1 |
1,000 |
|
|
Computer Science
|
traveling-salesman
|
1 |
1,000 |
|
|
Computer Science
|
formal-grammars
|
1 |
1,000 |
|
|
Computer Science
|
regular-expressions
|
1 |
1,000 |
|
|
Computer Science
|
encoding-scheme
|
1 |
1,000 |
|
|
Computer Science
|
master-theorem
|
1 |
1,000 |
|
|
Computer Science
|
undecidability
|
1 |
1,000 |
|
|
Computer Science
|
complexity-classes
|
1 |
1,000 |