25 citations · 122 across the 31 of their papers we have counts for
1 paper · 1 filter
Sebastiaan Brand, Thomas Bäck, Alfons Laarman
Saturation is considered the state-of-the-art method for computing fixpoints with decision diagrams. We present a relatively simple decision diagram operation called REACH that als…