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

by VÍCTOR DALMAU, PHOKION G KOLAITIS, Y MOSHE
Venue:In Proc. 8th Intern. Conf. Principles and Practice of Constraint Programming (CP