1.
Arge L. The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation. BRICS [Internet]. 1996 Jan. 29 [cited 2024 Mar. 29];3(29). Available from: https://tidsskrift.dk/brics/article/view/20010