Semirings for constraint solving and programming. (Q1882811)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semirings for constraint solving and programming. |
scientific article |
Statements
Semirings for constraint solving and programming. (English)
0 references
1 October 2004
0 references
This book includes formal definitions and properties of semiring-based soft constraints, as well as their use within constraint logic programming and concurrent constraint programming. Moreover, the author shows how to adapt existing notions and techniques, such as abstraction and interchangeability to the soft constraint framework and he demonstrates how soft constraints can be used in some application areas, such as security.
0 references
semirings
0 references
constraint programming
0 references
soft constraints
0 references
constraint logic programming
0 references
concurrent constraint programming
0 references
security
0 references
