Login / Signup

Comparison of Left Fold and Tree Fold Strategies in Creation of Binary Decision Diagrams.

Michal MrenaMiroslav Kvassay
Published in: IDT (2021)
Keyphrases
  • binary decision diagrams
  • tree structure
  • data sets
  • boolean functions
  • symbolic model checking
  • knowledge representation
  • knowledge discovery
  • nearest neighbor