On Tamaki's Algorithm to Compute Treewidths. - Ernst Althaus; Daniela Schnurbusch; Julian Wüschner; Sarah Ziegler (SEA, 2021)

Reducing Treewidth for SAT-Related Problems Using Simple Liftings. - Ernst Althaus; Daniela Schnurbusch (ISCO, 2024)