Steffan Christ Sølvsten | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Jaco van de Pol
14 publications
Kristoffer Arnsfelt Hansen
9 publications
Mathias Weller Berg Thomasen
1 publication
Anna Blume Jakobsen
1 publication

research

∙ 07/10/2023

Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper)

The BDD package Adiar manipulates Binary Decision Diagrams (BDDs) in ext...

0 Steffan Christ Sølvsten, et al. ∙

research

∙ 04/25/2021

Efficient Binary Decision Diagram Manipulation in External Memory

We follow up on the idea of Lars Arge to rephrase the Reduce and Apply a...

0 Steffan Christ Sølvsten, et al. ∙

research

∙ 06/15/2020

Existential Theory of the Reals Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games

We show that the problem of deciding whether in a multi-player perfect i...

0 Kristoffer Arnsfelt Hansen, et al. ∙