Semirings for constraint solving and programming. (Q1882811)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Semirings for constraint solving and programming. |
scientific article; zbMATH DE number 2105183
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Semirings for constraint solving and programming. |
scientific article; zbMATH DE number 2105183 |
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
0.845423698425293
0 references
0.813645601272583
0 references
0.7739104628562927
0 references
0.7728771567344666
0 references
