Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory.
Steffan Christ SølvstenJaco van de PolPublished in: NFM (2023)
Keyphrases
- external memory
- decision diagrams
- binary decision diagrams
- memory efficient
- memory space
- main memory
- data structure
- boolean functions
- block size
- range queries
- planning problems
- xpath queries
- algorithms require
- model checking
- fp tree
- random access
- multi valued
- memory requirements
- knowledge compilation
- database management systems
- data sets
- databases