The complexity of finite−valued CSPs
Johan Thapper and Stanislav Živný
Book Title
Proceedings of the 45th ACM Symposium on the Theory of Computing (STOC'13)
Pages
695−704
Publisher
ACM
Year
2013
Johan Thapper and Stanislav Živný