Login / Signup
Compressing Exact Cover Problems with Zero-suppressed Binary Decision Diagrams.
Masaaki Nishino
Norihito Yasuda
Kengo 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