Login / Signup

Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification.

Gianpiero CabodiSergio NoccoStefano Quer
Published in: CAV (2002)
Keyphrases
  • forward and backward
  • model checking
  • greedy search
  • dynamic programming
  • breadth first search
  • neural network
  • decision trees
  • search algorithm
  • lower bound
  • genetic programming