Daniela Schnurbusch

dblp:293/6789 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021
YearPublicationVenuePosition
2024 Reducing Treewidth for SAT-Related Problems Using Simple Liftings
Ernst Althaus, Daniela Schnurbusch
ISCO2
2021 On Tamaki's Algorithm to Compute Treewidths
abstract
We revisit the exact algorithm to compute the treewidth of a graph of Tamaki and present it in a way that facilitates improvements. The so-called I-blocks and O-blocks enumerated by the algorithm are interpreted as subtrees of a tree-decomposition that is constructed. This simplifies the proof of correctness and allows to discard subtrees from the enumeration by some simple observations. In our experiments, we show that one of these modifications in particular reduces the number of enumerated objects considerably.
Ernst Althaus, Daniela Schnurbusch, Julian Wüschner, Sarah Ziegler
SEA2