Steffan Sølvsten

Department of Computer Science, Aarhus University

About Me

PhD student advised by Prof. Jaco van de Pol researching the theoretical and practical design of logics, algorithms, and data structures for model checking and synthesis.

Table Of Content

Projects

External Memory Decision Diagrams

Following up on the work of Lars Arge in 1996, Adiar provides an easy-to-use implementation of Binary Decision Diagrams that make use of Time-Forward Processing to achieve efficient manipulation of BDDs, that far outgrow the memory limit of the given machine.

Subprojects:

Publications

2022

  • Steffan Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen

    Adiar: Binary Decision Diagrams in External Memory

    Submitted to TACAS 22.

2021

  • Steffan Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen

    Efficient Binary Decision Diagram Manipulation in External Memory

    arXiv

2020