The ACM Computing Classification System (1998)
F.2.2 Nonnumerical Algorithms and Problems
- Complexity of proof procedures
- Computations on discrete structures
- Geometrical problems and computations
- Pattern matching
- Routing and layout
- Sequencing and scheduling
- Sorting and searching