Login / Signup

Lower Bounds for Testing Computability by Small Width OBDDs.

Joshua BrodyKevin MatulefChenggang 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