List of redirects
Jump to navigation
Jump to search
Showing below up to 20 results in range #1 to #20.
View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)
- $(\min, +)$ Matrix Multiplication → Distance Product
- $(\min, +)$ Matrix Product → Distance Product
- $(\min, \leq)$ Matrix Multiplication → $(\min, \leq)$ Product
- 2-OV → OV
- 2-SAT → 2SAT
- 3-SAT → 3SAT
- 3-SAT-5 → 3SAT-5
- 3DVC → The Vertex Cover Problem, Degrees Bounded By 3
- 4-SAT → 4SAT
- 4/3-Diameter → Diameter 2 vs 3
- APMW → All Pairs Minimum Witness
- All-Pairs Shortest Paths → APSP
- And-or Matrix Product → Boolean Matrix Multiplication
- BC → Betweenness Centrality
- BHCP → Bichromatic Hamming Close Pair
- BMM → Boolean Matrix Multiplication
- BMM (Combinatorial) → Boolean Matrix Multiplication (Combinatorial)
- Boolean Satisfiability → SAT
- Boyce-Codd Normal Form Decomposition → BCNF Decomposition
- CNF-SAT → Conjunctive Normal Form SAT