Semirings for constraint solving and programming.

From MaRDI portal
Publication:1882811

DOI10.1007/b95712zbMath1054.68136OpenAlexW1487478819MaRDI QIDQ1882811

Stefano Bistarelli

Publication date: 1 October 2004

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95712




Related Items (25)

SCLP for Trust Propagation in Small-World NetworksC-semiring Frameworks for Minimum Spanning Tree ProblemsTimed soft concurrent constraint programs: An interleaved and a parallel approachOn 2-absorbing ideals of commutative semiringsSemiring-Based Soft ConstraintsDerivations of some classes of additively idempotent semiringsCongruence openings of additive Green's relations on a semiring.On merging two trust-networks in one with bipolar preferencesSemiring programming: a semantic framework for generalized sum product problemsContainment of conjunctive queries on annotated relationsA new order relation on fuzzy soft sets and its applicationOn the modelling and optimization of preferences in constraint-based temporal reasoningA survey of constraint-based programming paradigmsBirkhoff center of c-semiringBisimulations for weighted automata over an additively idempotent semiringOn conditions for mappings to preserve optimal solutions of semiring-induced valuation algebrasA semiring-based framework for the deduction/abduction reasoning in access control with weighted credentialsFrom Marriages to Coalitions: A Soft CSP ApproachA logic of soft constraints based on partially ordered preferencesStructure of Birkhoff center of c-semiringsMiniBrass: soft constraints for MiniZincModels and emerging trends of concurrent constraint programmingCo-Algebraic Models for Quantitative Spatial LogicsModelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic ProgrammingA Rewriting Logic Framework for Soft Constraints




This page was built for publication: Semirings for constraint solving and programming.