Ackermann Encoding, Bisimulations, and OBDDs

Carla Piazza, Alberto Policriti

We propose an alternative way to represent graphs via OBDDs based on the observation that a partition of the graph nodes allows sharing among the employed OBDDs. In the second part…