Proof optimization for partial redundancy elimination.
Ando SaabasTarmo UustaluPublished in: J. Log. Algebraic Methods Program. (2009)
Keyphrases
- optimization algorithm
- optimization problems
- global optimization
- data mining
- optimization method
- discrete optimization
- optimization process
- optimization methods
- real time
- artificial neural networks
- image processing
- website
- combinatorial optimization
- e learning
- theorem prover
- decision making
- optimization procedure
- optimization scheme
- social networks
- max min