Keyphrases
- data structure
- efficient data structures
- model checking
- verification method
- decision trees
- data sets
- formal methods
- formal verification
- information systems
- evolutionary algorithm
- nearest neighbor
- database management systems
- quadtree
- formal analysis
- refinement process
- algorithms and data structures
- information retrieval