约束分解论文

CSP的超树分解算法研究
论文摘要一个约束满足问题是否易于求解是与它的结构密切相关的。研究表明有着限制结构的约束满足问题是易于处理的,对于结构为无环的约束满足问题可以在多项式时间内求解。因此对于约束分解...