Login / Signup

Identification of Viable Paths Using Binary Decision Diagrams.

Yun-Cheng JuResve A. Saleh
Published in: ICCD (1991)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • model checking
  • variable ordering
  • data mining
  • association rules
  • small number
  • shortest path
  • knowledge compilation