Steffan Christ Sølvsten
Orcid: 0000-0003-0963-6569
According to our database1,
Steffan Christ Sølvsten
authored at least 16 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
1
1
1
1
1
2
1
1
2
3
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper).
CoRR, 2024
Proceedings of the Model Checking Software - 30th International Symposium, 2024
2023
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper).
CoRR, 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
2021
2020
Existential Theory of the Reals Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games.
CoRR, 2020
∃ℝ-Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games.
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020