An Application of Farkas' Lemma to Finite-Valued Constraint Satisfaction Problems over Infinite Domains
arXiv:2208.04912 · doi:10.1016/j.jmaa.2022.126591
Abstract
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.
18 pages. The paper is based on a chapter from Caterina Viola's doctoral dissertation. This is a preprint of a manuscript accepted for publication in Journal of Mathematical Analysis and Applications (JMAA)