Showing cs.DSShow all
3 papers · 1 filter
cs.DS2025
Symbolic Model Checking in External Memory
Steffan Christ Sølvsten, Jaco van de Pol
We extend the external memory BDD package Adiar with support for monotone variable substitution. Doing so, it now supports the relational product operation at the heart of symbolic…
cs.DS2024
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)
Steffan Christ Sølvsten, Jaco van de Pol
Previous research on the Adiar BDD package has been successful at designing algorithms capable of handling large Binary Decision Diagrams (BDDs) stored in external memory. To do so…
cs.DS2023
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper)
Steffan Christ Sølvsten, Jaco van de Pol
The BDD package Adiar manipulates Binary Decision Diagrams (BDDs) in external memory. This enables handling big BDDs, but the performance suffers when dealing with moderate-sized B…