Optimizing compilation of constraint handling rules in HAL (Q5696595)
From MaRDI portal
scientific article; zbMATH DE number 2215814
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Optimizing compilation of constraint handling rules in HAL |
scientific article; zbMATH DE number 2215814 |
Statements
Optimizing compilation of constraint handling rules in HAL (English)
0 references
18 October 2005
0 references
incremental constraint solvers
0 references
