Login / Signup

Hypergraph Transversal Computation with Binary Decision Diagrams.

Takahisa Toda
Published in: SEA (2013)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • higher order
  • variable ordering
  • database
  • data mining
  • machine learning
  • planning problems