@inproceedings{ijcai2005p34, title = {A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition}, author = {Cohen, David A. and Jeavons, Peter and Gyssens, Marc}, booktitle = {Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, {IJCAI-05}}, publisher = {International Joint Conferences on Artificial Intelligence}, pages = {72--76}, year = {2005}, url = {https://ijcai.org/proceedings/2005/34}, }