Symbolic Topological Sorting with OBDDs (Extended Abstract)

by Unknown Authors