Computer science
- Computer science (CS)
- Computational problem
- Decision problem
- P
- NP
- NP-complete
- Generic search
- Breadth-first search (BFS)
- Depth-first search (DFS)
- Graph coloring (COL)
- 3-coloring (3COL)
- Boolean satisfiability problem (SAT)
- Conjunctive normal form (CNF)
- 3-satisfiability (3SAT)
- SATLIB
- GSAT
- HSAT
- GWSAT
- TSAT
- WalkSAT (WSAT)
- Unsat
- Flip