C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient Binary Decision Diagram Manipulation in External Memory.
Steffan Christ Sølvsten
Jaco van de Pol
Anna Blume Jakobsen
Mathias Weller Berg Thomasen
Published in:
CoRR (2021)
Keyphrases
</>
external memory
memory efficient
memory space
binary decision diagrams
disk storage
database
search algorithm
databases
data structure
computational complexity
high accuracy
heuristic search
range queries
main memory