SAT-encodings for special treewidth and pathwidth
scientific article; zbMATH DE number 6807241