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

by M Y Vardi
Venue:In 8th International Conference on Principles and Practice of Constraint Programming - CP 2002, volume 2470 of Lecture Notes in Computer Science