Verification of Tree Updates for Optimization.

Michael Benedikt Angela Bonifati Sergio Flesca Avinash Vyas

Published in: CAV (2005)

Keyphrases

optimization problems
model checking
tree structure
optimization methods
discrete optimization
optimization algorithm
index structure
global optimization
optimization process
tree structures
database
case study
asynchronous circuits