A Graph of a Relational Structure and Constraint Satisfaction Problems
Andrei A. Bulatov
Book Title
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS'04)
Pages
448−45
Year
2004
Andrei A. Bulatov