Daniela Schnurbusch

According to our database¹, Daniela Schnurbusch authored at least 3 papers between 2021 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Optimierung der exakten Berechnung von Baumweiten sowie deren Reduktion durch Reprocessing im Kontext von Erfüllbarkeitsproblemen.

[BibT_eX]

[DOI]

PhD thesis, 2025

2024

Reducing Treewidth for SAT-Related Problems Using Simple Liftings.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization - 8th International Symposium, 2024

2021

On Tamaki's Algorithm to Compute Treewidths.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Experimental Algorithms, 2021