42 citations · 127 across the 17 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.DS2023★ 4 cited
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…
cs.LO2023
Operations on Fixpoint Equation Systems
Thomas Neele, Jaco van de Pol
We study operations on fixpoint equation systems (FES) over arbitrary complete lattices. We investigate under which conditions these operations, such as substituting variables by t…