A Reordering Operation for an Ordered Binary Decision Diagram and an Extended Framework for Combinatorics of Graphs.

Seiichiro Tani, Hiroshi Imai

Browse the full ISAAC paper archive.