Department of Computer Science

• Published

  Adiar Binary Decision Diagrams in External Memory

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  Adiar: An I/O-efficient implementation of Binary Decision Diagrams

  Research output: Non-textual form › Software

• Published

  Efficient Binary Decision Diagram Manipulation in External Memory

  Research output: Working paper/Preprint › Preprint

View all (4) »

• University of Twente

  Activity: Visiting an external institution types › Visiting an external academic institution

View all (1) »