Keyphrases
- symbolic execution
- upper bound
- hardware designs
- lower bound
- model checking
- database
- globally consistent
- formal verification
- worst case
- computer programs
- genetic algorithm
- real time
- np hard
- face verification
- object oriented
- automatic programming
- intermediate level
- neural network
- data sets
- database systems
- decision trees
- computer vision
- artificial intelligence
- real world