论文标题
Farkas的引理应用于无限域的有限值约束满意度问题
An Application of Farkas' Lemma to Finite-Valued Constraint Satisfaction Problems over Infinite Domains
论文作者
论文摘要
我们展示了具有任意基数域和包含任意许多成本功能的有限值语言表达能力的通用代数局部表征。
We show a universal algebraic local characterisation of the expressive power of finite-valued languages with domains of arbitrary cardinality and containing arbitrary many cost functions.
