Login / Signup

Factored Edge-Valued Binary Decision Diagrams.

Paul TafertshoferMassoud Pedram
Published in: Formal Methods Syst. Des. (1997)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • edge detection
  • model checking
  • variable ordering
  • planning problems
  • database
  • databases
  • state space
  • knowledge compilation