An Application of Farkas' Lemma to Finite-Valued Constraint Satisfaction Problems over Infinite Domains

DOI10.1016/J.JMAA.2022.126591arXiv2208.04912WikidataQ124801085 ScholiaQ124801085MaRDI QIDQ6407429FDOQ6407429

C. Viola, Friedrich Martin Schneider

Publication date: 9 August 2022

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.

Mathematics Subject Classification ID

Theory of computing (68Qxx) Mathematical programming (90Cxx) Algebraic structures (08Axx)

This page was built for publication: An Application of Farkas' Lemma to Finite-Valued Constraint Satisfaction Problems over Infinite Domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6407429)