Semirings for constraint solving and programming. (Q1882811): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 05:02, 5 March 2024
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
