∃ℝ-Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games. - Kristoffer Arnsfelt Hansen; Steffan Christ Sølvsten (MFCS, 2020)

Existential Theory of the Reals Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games. - Kristoffer Arnsfelt Hansen; Steffan Christ Sølvsten (CoRR, 2020)

Efficient Binary Decision Diagram Manipulation in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Mathias Weller Berg Thomasen (CoRR, 2021)

Adiar 1.0.1 : TACAS 2022 Artifact. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2021)

Adiar 1.0.1 : Experiment Data. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2021)

Adiar Binary Decision Diagrams in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Mathias Weller Berg Thomasen (TACAS (2), 2022)

Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. - Steffan Christ Sølvsten; Jaco van de Pol (ATVA, 2023)

Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (NFM, 2023)

Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper). - Steffan Christ Sølvsten; Jaco van de Pol (CoRR, 2023)

Adiar 1.1.0 : Experiment Data. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2023)

Adiar 1.2.0 : Experiment Data. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2023)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Erik Funder Carstensen; Mathias Weller Berg Thomasen (Zenodo, 2023)

Random Access on Narrow Decision Diagrams in External Memory. - Steffan Christ Sølvsten; Casper Moldrup Rysgaard; Jaco van de Pol (SPIN, 2024)

Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper). - Steffan Christ Sølvsten; Jaco van de Pol (CoRR, 2024)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Mathias Weller Berg Thomasen (Zenodo, 2024)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Mathias Weller Berg Thomasen (Zenodo, 2024)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Erik Funder Carstensen; Mathias Weller Berg Thomasen (Zenodo, 2024)

Artifact: Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2025)

Artifact: Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2025)

Artifact: Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2025)

Artifact: Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2025)

Artifact: Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2025)

Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (CoRR, 2025)