Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2004
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915559876067328 |
|---|---|
| author | van Emden, M. H. Moa, B. |
| author_facet | van Emden, M. H. Moa, B. |
| contents | Numerical analysis has no satisfactory method for the more realistic optimization models. However, with constraint programming one can compute a cover for the solution set to arbitrarily close approximation. Because the use of constraint propagation for composite arithmetic expressions is computationally expensive, consistency is computed with interval arithmetic. In this paper we present theorems that support, selective initialization, a simple modification of constraint propagation that allows composite arithmetic expressions to be handled efficiently. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_cs_0404034 |
| institution | arXiv |
| publishDate | 2004 |
| record_format | arxiv |
| spellingShingle | Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems van Emden, M. H. Moa, B. Numerical Analysis D.3.1; F.2.1; G.1.0; G.1.2; G.1.6; G.1.5 ; I.2.8; I.2.9 Numerical analysis has no satisfactory method for the more realistic optimization models. However, with constraint programming one can compute a cover for the solution set to arbitrarily close approximation. Because the use of constraint propagation for composite arithmetic expressions is computationally expensive, consistency is computed with interval arithmetic. In this paper we present theorems that support, selective initialization, a simple modification of constraint propagation that allows composite arithmetic expressions to be handled efficiently. |
| title | Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems |
| topic | Numerical Analysis D.3.1; F.2.1; G.1.0; G.1.2; G.1.6; G.1.5 ; I.2.8; I.2.9 |
| url | https://arxiv.org/abs/cs/0404034 |