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

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs: Gottlob, G, Lanzinger, M, Longo, D, Okulmus, C
Formaat: Journal article
Taal:English
Gepubliceerd in: Association for Computing Machinery 2022