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...

全面介绍

书目详细资料
Main Authors: Gottlob, G, Lanzinger, M, Longo, D, Okulmus, C
格式: Journal article
语言:English
出版: Association for Computing Machinery 2022