A polynomial-time algorithm for global value numbering.
Sumit GulwaniGeorge C. NeculaPublished in: Sci. Comput. Program. (2007)
Keyphrases
- worst case
- computational complexity
- learning algorithm
- experimental evaluation
- detection algorithm
- preprocessing
- dynamic programming
- search space
- np hard
- times faster
- optimization algorithm
- simulated annealing
- data sets
- significant improvement
- k means
- optimal solution
- objective function
- bayesian networks
- cost function
- association rules
- expectation maximization
- segmentation algorithm
- matching algorithm
- approximation ratio
- graph isomorphism