An Algebraic Approach to Valued Constraint Satisfaction

DOI10.4230/LIPICS.CSL.2017.42zbMATH Open1440.68121OpenAlexW2756790058MaRDI QIDQ5111213FDOQ5111213

Tommaso Moraschini, Rostislav Horčík, A. Vidal

Publication date: 26 May 2020

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2017/7676/pdf/LIPIcs-CSL-2017-42.pdf

Recommendations

• Algebraic properties of valued constraint satisfaction problem
• An Algebraic Characterisation of Complexity for Valued Constraint
• The complexity of valued constraint satisfaction
• The complexity of valued constraint satisfaction problems
• scientific article
• A solution configuration and its algorithm of valuation algebras induced by a constraint semiring
• Solving set-valued constraint satisfaction problems
• Bounded backtracking for the valued constraint satisfaction problems
• Binarisation for valued constraint satisfaction problems

zbMATH Keywords

polymorphismvalued CSPpp-definabilityGeiger's theorem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Applications of universal algebra in computer science (08A70)

Cited In (6)

• Fuzzy intensional semantics
• Fraïssé classes of graded relational structures
• Title not available (Why is that?)
• High-order consistency in valued constraint satisfaction
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• The Expressive Power of Valued Constraints: Hierarchies and Collapses

This page was built for publication: An Algebraic Approach to Valued Constraint Satisfaction

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