Optimization of Disjunctive Abstract Interpretations.

Roberto Giacobazzi Francesco Ranzato

Published in: APPIA-GULP-PRODE (1996)

Keyphrases

global optimization
optimization algorithm
constrained optimization
optimization model
low level
search engine

high level
optimization process
multi agent systems
optimization methods
optimization strategies

database
optimal design
combinatorial optimization
optimization problems
evolutionary algorithm

search algorithm
objective function
decision trees
e learning
real time