Tree decomposition method combined with separator in constraint satisfaction problems

From MaRDI portal
Publication:2990573