Arge. The I/O-Complexity of Ordered BinaryDecision Diagram Manipulation (1996)

by RS-96-29 Lars