BriefGPT.xyz
Sep, 2022
广义超树结构的增量更新
Incremental Updates of Generalized Hypertree Decompositions
HTML
PDF
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus
TL;DR
本文提出并实现了一个有效的更新广义超树分解的框架，解决了约束满足问题中更新分解的问题，并通过实验验证了算法在实践应用中的功效。
Abstract
structural decomposition methods
, such as
generalized hypertree decompositions
, have been successfully used for solving
constraint satisfaction p
→