Adiar Binary Decision Diagrams in External Memory.
Steffan Christ SølvstenJaco van de PolAnna Blume JakobsenMathias Weller Berg ThomasenPublished in: TACAS (2) (2022)
Keyphrases
- external memory
- binary decision diagrams
- memory space
- main memory
- data structure
- memory efficient
- boolean functions
- symbolic model checking
- range queries
- block size
- fp tree
- disk storage
- planning problems
- model checking
- random access
- knowledge compilation
- algorithms require
- xpath queries
- digital images
- memory requirements
- index structure
- database management systems
- query processing
- image sequences
- machine learning
- databases