Login / Signup

Compressing Exact Cover Problems with Zero-suppressed Binary Decision Diagrams.

Masaaki NishinoNorihito YasudaKengo Nakamura
Published in: IJCAI (2021)
Keyphrases
  • binary decision diagrams
  • database
  • boolean functions
  • symbolic model checking
  • knowledge base
  • reinforcement learning
  • search algorithm
  • multi dimensional
  • np complete