The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation (1995)

by Lars Arge
Venue:UNIVERSITY OF AARHUS
Citations:28 - 17 self