结合Separator的约束满足问题树分解方法

吕巍, 张舒娟

Tree Decomposition Method Combined with Separator in Constraint Satisfaction Problems

LV Wei, ZHANG Shujuan

吉林大学学报(理学版) . 2016, (02): 291 -296 .