Steffan Christ Sølvsten

According to our database, Steffan Christ Sølvsten authored at least 7 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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 - Zero-Suppressed Decision Diagrams in External Memory.

Steffan Christ Sølvsten, Jaco van de Pol

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts.

Steffan Christ Sølvsten, Jaco van de Pol

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Adiar Binary Decision Diagrams in External Memory.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

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

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

∃ℝ-Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games.

Kristoffer Arnsfelt Hansen, Steffan Christ Sølvsten

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020