• Published

  A Truly Symbolic Linear-Time Algorithm for SCC Decomposition

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review

• Published

  Adiar Binary Decision Diagrams in External Memory

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

• Published

  Efficient Binary Decision Diagram Manipulation in External Memory

  Research output: Working paper/Preprint › Preprint

View all (3) »