Author: François FagesPublisher: Ellipses Marketing
ISBN: 9782729846138
Category :
Languages : fr
Pages : 183
Book Description
Programmation logique par contraintes
Author: François FagesPublisher: Ellipses Marketing
ISBN: 9782729846138
Category :
Languages : fr
Pages : 183
Book Description
Collaboration de solveurs pour la programmation logique a contraintes
Author: Éric MonfroyProgrammation Logique Avec Contraintes
Author: Publisher: Ed. Techniques Ingénieur
ISBN:
Category :
Languages : en
Pages : 9
Book Description
Travaux dirigés de programmation logique par contraintes
Author: François FagesResolution de contraintes sur les sequences en programmation logique avec contraintes
Author: Hamza ZidoumNegation,contraintes et programmation logique
Author: Karine LiogierINTRODUCTION DES FLOTS ET TENSIONS EN PROGRAMMATION LOGIQUE PAR CONTRAINTES. UNE APPLICATION A L'OPTIMISATION DE RESEAUX
Author: MANH CUONG. NGUYENPublisher:
ISBN:
Category :
Languages : fr
Pages : 150
Book Description
LE TRAVAIL PRESENTE DANS CE MEMOIRE PORTE SUR UNE INTEGRATION D'ALGORITHMES DE RECHERCHE OPERATIONNELLE DANS L'ENVIRONNEMENT DE LA PROGRAMMATION LOGIQUE PAR CONTRAINTES. L'ORIGINE EST LA NECESSITE D'INTRODUIRE DES OUTILS D'OPTIMISATION QUI ONT A LA FOIS LA PUISSANCE DES METHODES DE LA RECHERCHE OPERATIONNELLE ET LA SOUPLESSE DE LA PROGRAMMATION LOGIQUE PAR CONTRAINTES POUR PILOTER DIFFERENTS SCENARIOS DANS L'OPTIMISATION DE RESEAUX. CE DOMAINE ETANT TRES VASTE, NOUS PROPOSONS DE LIMITER NOTRE ETUDE AUX ALGORITHMES DE RESOLUTION DES PROBLEMES QUI SE FORMALISENT EN TERMES DE FLOT ET DE TENSION SUR DES GRAPHES. SON OBJECTIF VISE A DECRIRE DES ALGORITHMES QUI SONT CAPABLES DE TRAITER LES CONTRAINTES DE FLOT ET DE TENSION DE FACON INCREMENTALE D'UNE PART, ET ADAPTES A LA TECHNIQUE DE RETOUR-ARRIERE DE LA PROPAGATION DE CONTRAINTES D'AUTRE PART. LE PRINCIPE DE LA METHODE CONSISTE A: ? DECOMPOSER LE PROBLEME GLOBAL EN UNE SUITE DE SOUS-PROBLEMES DE MANIERE INCREMENTALE PAR CONTRAINTES ; ? RESOUDRE LES SOUS-PROBLEMES PAR UN ALGORITHME BASE SUR UNE VARIANTE DE LA METHODE DU SIMPLEXE EN VARIABLES BORNEES AVEC DES TECHNIQUES DE TRAITEMENT DES GRAPHES: ? INTEGRER LA RESOLUTION PRECEDENTE DANS LE MECANISME DE RETOUR-ARRIERE EN INTRODUISANT UNE METHODE DE DEDUCTION SYSTEMATIQUE DES CONTEXTES. UNE APPLICATION DE CES ALGORITHMES EST ETUDIEE SUR DES PROBLEMES D'ADMISSIBILITE DANS LES RESEAUX ET D'ORDONNANCEMENT.
Interpretation abstraite en programmation logique avec contraintes
Author: Christophe LecoutreContraintes ensemblistes et resolution multi-solveurs en programmation logique avec contraintes
Author: Fabrice AmbertÉtude de la compilation des langages logiques de programmation par contraintes sur les domaines finis
Author: Daniel DiazPublisher:
ISBN: 9782726109106
Category :
Languages : en
Pages : 259
Book Description
Ce travail porte sur la compilation des langages de programmation logique par contraintes sur les domaines finis (DF). Plutôt que d'adopter l'approche usuelle considérant le résolveur comme une boîte noire nous avons choisi l'approche boîte de verre de P. Van Hentenryck. Dans celle-ci, le résolveur gère une seule contrainte primitive. Toutes les contraintes complexes (équations, contraintes symboliques...) sont traduites en des appels de contraintes primitives. Le résolveur est ainsi simple et homogène. De plus, l'utilisateur peut définir ses propres contraintes en termes de cette primitive. Cette primitive nous permet de définir une machine abstraite pour la compilation des contraintes DF. En outre, le traitement d'une seule primitive permet de définir des optimisations globales dont bénéficient toutes les contraintes de haut niveau. Toutes ces idées sont détaillées et aboutissent à la définition du langage clp (FD). L'étude des performances de clp (FD) montre que cette approche est très efficace, meilleure en tous cas que les résolveurs boîtes noires. Nous étudions également les aptitudes de clp (FD) à résoudre des contraintes booléennes car elles sont un cas particulier des DF. Là encore clp (FD) se compare très bien avec des résolveurs spécialisés. Nous nous intéressons enfin à la détection de la satisfaction des contraintes pour permettre à l'utilisateur de spécifier des calculs dirigés par les données (plutôt que par les instructions). Ce travail débouche donc tout naturellement sur l'implantation des langages concurrents.