Activation de règles CHR pour la composition et l'orchestration de solveurs par contraintes
Overview & Synopsis
CHR est un langage à base de règles et de contraintes pour modéliser et résoudre des problèmes combinatoires. Contrairement aux solveurs dédiés à un langage de modélisation tel que CSP, l'utilisateur écrit les règles qui simplifieront le problème jusqu'à sa résolution. Nous étudions ici différents algorithmes de résolution (méthodes de filtrage et d'énumération), ainsi que leur composition par activation et désactivation des composants. Il est alors possible de définir des stratégies de résolution flexibles et adaptatives, évoluant durant la résolution. Ce travail préliminaire en CHR++, ouvre la voie à la conception de solveurs performants pouvant ajuster leur stratégie dynamiquement durant la résolution.
hal.science)
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Activation de règles CHR pour la composition et l'orchestration de solveurs par contraintes |
|---|---|
| Author / Organization | Victor Allard, Vincent Barichard, Eric Monfroy, Jean-Michel Richer |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2025 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-78783 |
| Original Source Link | Visit Source Page on hal.science » |