Pages that link to "Item:Q1882811"
From MaRDI portal
The following pages link to Semirings for constraint solving and programming. (Q1882811):
Displaying 24 items.
- A survey of constraint-based programming paradigms (Q458465) (← links)
- On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras (Q481102) (← links)
- Congruence openings of additive Green's relations on a semiring. (Q637601) (← links)
- Containment of conjunctive queries on annotated relations (Q639858) (← links)
- On the modelling and optimization of preferences in constraint-based temporal reasoning (Q646549) (← links)
- A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (Q692280) (← links)
- A new order relation on fuzzy soft sets and its application (Q1955479) (← links)
- Semiring programming: a semantic framework for generalized sum product problems (Q2206471) (← links)
- MiniBrass: soft constraints for MiniZinc (Q2331099) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Bisimulations for weighted automata over an additively idempotent semiring (Q2447758) (← links)
- A logic of soft constraints based on partially ordered preferences (Q2506231) (← links)
- Co-Algebraic Models for Quantitative Spatial Logics (Q2870283) (← links)
- Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (Q2870287) (← links)
- A Rewriting Logic Framework for Soft Constraints (Q2873783) (← links)
- On merging two trust-networks in one with bipolar preferences (Q2971064) (← links)
- C-semiring Frameworks for Minimum Spanning Tree Problems (Q3184724) (← links)
- Semiring-Based Soft Constraints (Q3507363) (← links)
- Timed soft concurrent constraint programs: An interleaved and a parallel approach (Q4593013) (← links)
- Birkhoff center of c-semiring (Q4621398) (← links)
- Structure of Birkhoff center of c-semirings (Q4985550) (← links)
- On 2-absorbing ideals of commutative semirings (Q5108404) (← links)
- From Marriages to Coalitions: A Soft CSP Approach (Q5191403) (← links)
- SCLP for Trust Propagation in Small-World Networks (Q5302723) (← links)