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:

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
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024


Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper).
CoRR, 2024

Random Access on Narrow Decision Diagrams in External Memory.
Proceedings of the Model Checking Software - 30th International Symposium, 2024

2023

Adiar 1.2.0 : Experiment Data.
Dataset, July, 2023

Adiar 1.1.0 : Experiment Data.
Dataset, March, 2023

Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper).
CoRR, 2023

Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
Adiar Binary Decision Diagrams in External Memory.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021
Adiar 1.0.1 : Experiment Data.
Dataset, November, 2021

Adiar 1.0.1 : TACAS 2022 Artifact.
Dataset, November, 2021

Efficient Binary Decision Diagram Manipulation in External Memory.
CoRR, 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


  Loading...