Steffan Christ Sølvsten

11 papers B 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping.
VMCAI
Steffan Christ Sølvsten, Jaco van de Pol
2025 J jnl
Symbolic Model Checking in External Memory.
CoRR
Steffan Christ Sølvsten, Jaco van de Pol
2024 J jnl
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper).
CoRR
Steffan Christ Sølvsten, Jaco van de Pol
2024 — conf
Random Access on Narrow Decision Diagrams in External Memory.
SPIN
Steffan Christ Sølvsten, Casper Moldrup Rysgaard, Jaco van de Pol
2023 — conf
Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory.
NFM
Steffan Christ Sølvsten, Jaco van de Pol
2023 B conf
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts.
ATVA
Steffan Christ Sølvsten, Jaco van de Pol
2023 J jnl
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper).
CoRR
Steffan Christ Sølvsten, Jaco van de Pol
2022 — conf
Adiar Binary Decision Diagrams in External Memory.
TACAS (2)
Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen
2021 J jnl
Efficient Binary Decision Diagram Manipulation in External Memory.
CoRR
Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen
2020 J jnl
Existential Theory of the Reals Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games.
CoRR
Kristoffer Arnsfelt Hansen, Steffan Christ Sølvsten
2020 B conf
∃ℝ-Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games.
MFCS
Kristoffer Arnsfelt Hansen, Steffan Christ Sølvsten