Login / Signup
Lower Bounds for Testing Computability by Small Width OBDDs.
Joshua Brody
Kevin Matulef
Chenggang Wu
Published in:
TAMC (2011)
Keyphrases
</>
lower bound
upper bound
branch and bound algorithm
objective function
branch and bound
upper and lower bounds
software engineering
worst case
np hard
small number
model checking
software testing