Login / Signup
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