Keyphrases
- computational complexity
- artificial intelligence
- databases
- decision making
- lower complexity
- computational cost
- space complexity
- deterministic automata
- data sets
- bounded rationality
- program synthesis
- complexity analysis
- theorem proving
- model checking
- np hard
- image sequences
- search engine
- information retrieval
- neural network