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

Full description

Bibliographic Details
Main Authors: Gottlob, G, Lanzinger, M, Longo, D, Okulmus, C
Format: Journal article
Language:English
Published: Association for Computing Machinery 2022