Login / Signup
Isomorphism Elimination by Zero-Suppressed Binary Decision Diagrams.
Takashi Horiyama
Masahiro Miyasaka
Riku Sasaki
Published in:
CCCG (2018)
Keyphrases
</>
binary decision diagrams
boolean functions
symbolic model checking
graph theory
model checking
planning problems
knowledge compilation
variable ordering
search algorithm
expert systems
object oriented
np complete
pattern mining