71785 badges
Site |
Name |
Awarded |
Score ↑ |
Computer Science
|
randomized-algorithms
|
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
|
artificial-intelligence
|
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
|
concurrency
|
1 |
1,000 |
Computer Science
|
3-sat
|
1 |
1,000 |
Computer Science
|
sat-solvers
|
1 |
1,000 |
Computer Science
|
colorings
|
1 |
1,000 |
Computer Science
|
notation
|
1 |
1,000 |
Computer Science
|
primes
|
1 |
1,000 |
Computer Science
|
image-processing
|
1 |
1,000 |
Computer Science
|
integers
|
1 |
1,000 |
Computer Science
|
np-complete
|
1 |
1,000 |
Computer Science
|
memory-management
|
1 |
1,000 |
Computer Science
|
divide-and-conquer
|
1 |
1,000 |
Computer Science
|
floating-point
|
1 |
1,000 |
Computer Science
|
master-theorem
|
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
|
regular-languages
|
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
|
coding-theory
|
1 |
1,000 |
Computer Science
|
undecidability
|
1 |
1,000 |
Computer Science
|
complexity-classes
|
1 |
1,000 |
Computer Science
|
combinatorics
|
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 |