Login / Signup
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