4 citations · 4 across the 4 of their papers we have counts for
1 paper · 2 filters
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…