PROBLÈMES DE SATISFACTION DE CONTRAINTES
Formalismes et techniques CSP
De par leur forte complexité et leur omniprésence aussi bien dans le monde académique qu'industriel, les problèmes de satisfaction de contraintes (CSP) continuent à susciter l'intérêt des scientifiques dans les domaines de la recherche opérationnelle et de l'intelligence artificielle.
Description
De par leur forte complexité et leur omniprésence aussi bien dans le monde académique qu'industriel, les problèmes de satisfaction de contraintes (CSP) continuent à susciter l'intérêt des scientifiques dans les domaines de la recherche opérationnelle et de l'intelligence artificielle. Un CSP comporte un ensemble de variables ayant chacune un domaine de valeurs ainsi qu'un ensemble de contraintes, l'objectif étant d'instancier les variables de manière à satisfaire toutes les contraintes. Formalismes, techniques et extensions relatives aux CSP sont détaillés et illustrés par des exemples didactiques tels que le problème des 4-reines.
Renseignements sur l'ouvrage
Ouvrages similaires
-
PLAN DE CONTINUITÉ D'ACTIVITÉ ET SYSTÈME D'INFORMATIONVers l'entreprise résiliente -
L'ÂGE DE LA MULTITUDE: ENTREPRENDRE ET GOUVERNER 2E ÉD.Entreprendre et gouverner après la révolution numérique -
CHOISIR L'AGILITÉDu développement logiciel à la gouvernance -
LES RÉFÉRENTIELS DU SYSTÈME D'INFORMATIONDonnées de référence et architecture d'entreprise -
RÉSEAUX, LIBERTÉS ET CONTRÔLE: GÉNÉALOGIE POLITIQUE D'INTERNETUne généalogie politique d'internet -
SMART HOME: HABITAT CONNECTE, INSTALLATIONS DOMOTIQUES ET MULTIMEHabitat connecté, installations domotiques et multimédia -
INGÉNIERIE DES EXIGENCESMéthodes et bonnes pratiques pour construire et maintenir un référentiel
