A Tight Lower Bound for Streett Complementation

Yang Cai Ting Zhang

Published in: CoRR (2011)

Keyphrases

lower bound
upper bound
branch and bound algorithm
worst case
objective function
np hard
branch and bound
lower bounding
lower and upper bounds
upper and lower bounds
learning algorithm
optimal solution
machine learning
case study
data structure
relational databases