Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: executable specifications

Sortuj według:

Ogranicz wyniki do:

Principles of constrain systems and constraint solvers

Fruhwirth T., Abdennadher S.

Archives of Control Sciences

2006

Vol. 16, no. 2

131-159

In this compact overview, we introduce the most common constraint system used in constraint programming lanquages and algorithms to solve them. Constraint systems are the result of taking a data type together with its operations and interpreting the resulting expressions as constraints. These constraint systems use the universal data types of numbers to represent scalar data or terms to represent structured data. Algorithms are presented as logical inference rules that are directly executable in the Constraint Handling Rules language.