Proof optimization for partial redundancy elimination.
Ando SaabasTarmo UustaluPublished in: PEPM (2008)
Keyphrases
- optimization algorithm
- database systems
- constrained optimization
- optimization process
- optimization method
- database
- global optimization
- optimization methods
- combinatorial optimization
- interactive theorem proving
- linear logic
- optimization strategies
- optimization scheme
- theorem proving
- optimization problems
- evolutionary algorithm
- data structure
- decision trees
- computer vision
- neural network