Summary
Description of both the composition operators for synthesizing new constraints as well as concrete examples of use of these operators. An implementation of these operators in at least one concrete constraint system.
More information & hyperlinks
Search
Organisations
- Not specified