SAT-based local improvement for finding tree decompositions of small width
scientific article; zbMATH DE number 6807239