Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem
scientific article; zbMATH DE number 6756599