Steffan Christ Slvsten
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | VMCAI | Multi-variable Quantification of BDDs in External Memory using Nested Sweeping. | Steffan Christ Slvsten, Jaco van de Pol |
| 2023 | ATVA | Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. | Steffan Christ Slvsten, Jaco van de Pol |
| 2022 | TACAS | Adiar Binary Decision Diagrams in External Memory. | Steffan Christ Slvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen |
| 2020 | MFCS | ∃ℝ-Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games. | Kristoffer Arnsfelt Hansen, Steffan Christ Slvsten |