Login / Signup

Testing Computability by Width Two OBDDs.

Dana RonGilad Tsur
Published in: APPROX-RANDOM (2009)
Keyphrases
  • boolean functions
  • search algorithm
  • test cases
  • model checking
  • information retrieval
  • multiscale
  • test generation
  • ordered binary decision diagrams