A generic convolution algorithm for join operations on tree decompositions

From MaRDI portal
Publication:2117110