Distributivity and residuation for lexicographic orders

DOI10.1016/j.ipl.2022.106271OpenAlexW4224284002MaRDI QIDQ2671819

Fabio Gadducci, Francesco Santini

Publication date: 3 June 2022

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2022.106271

zbMATH Keywords

formal methodsresiduation theorysoft constraintslexicographic orders

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Residuation for bipolar preferences in soft constraints
• Arc consistency for soft constraints
• Residuation for soft constraints: lexicographic orders and approximation techniques
• Observational and behavioural equivalences for soft concurrent constraint programming
• Algebraic and Categorical Aspects of Quantales
• Semiring-based constraint satisfaction and optimization
• Partial Valuation Structures for Qualitative Soft Constraints
• Soft constraint automata with memory

This page was built for publication: Distributivity and residuation for lexicographic orders