SAT-Encodings for Treecut Width and Treedepth.

Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider

Browse the full ALENEX paper archive.