Incremental updates of generalized hypertree decompositions

Structural decomposition methods, such as generalized hypertree decompositions, have been successfully used for solving constraint satisfaction problems (CSPs). As decompositions can be reused to solve CSPs with the same constraint scopes, investing resources in computing good decompositions is bene...

ver descrição completa

Detalhes bibliográficos
Principais autores: Gottlob, G, Lanzinger, M, Longo, D, Okulmus, C
Formato: Journal article
Idioma:English
Publicado em: Association for Computing Machinery 2022