Tree Decomposition Method Combined with Separator in Constraint Satisfaction Problems
LV Wei, ZHANG Shujuan
Journal of Jilin University Science Edition . 2016, (02): 291 -296 .