Constraint satisfaction, bounded treewidth, and nite variable logics (2002)

by V Dalmau, Ph G Kolaitis, M Y Vardi
Venue:In Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP’02, Lecture Notes in Computer Science