Bienvenue sur notre page d’accueil

Original: http://www.bracil.net/CSP/

Satisfaction de contraintes est un problème de décision qui implique des choix finis. Il est omniprésent. Par exemple, une entreprise de transport peut avoir à livrer à divers endroits dans les fenêtres de temps spécifiés par les clients. Une compagnie aérienne doit planifier ses équipages pour servir différents vols, satisfaire les contraintes définies par la direction et les syndicats. Le casse-tête bien connu Sudoku est un problème de satisfaction de contraintes. AutoCollage (par Mirosoft recherche) est un bel exemple d’application de contrainte au traitement d’image.

Contraintes solutions de blindage d’un résolveur de problèmes. Cependant, se il est utilisé correctement, contraintes peuvent également guider la résolution de problèmes à des solutions. Cela fait écho à l’enseignement dans le taoïsme: utiliser la force. Un large éventail de techniques ont été appliquées à la contrainte satisfaction. Cela inclut la propagation de contraintes, optimisation, heuristiques, recherche complète et les méthodes de recherche locale comme la recherche locale guidée, réseau neuronal et calcul évolutif.

Pour une brève explication sur ce qu’est un problème de satisfaction de contraintes est, voir bref tutoriel (une page). Pour une introduction un peu plus technique, voir Un aperçu de satisfaction de contraintes (14 pages). Pour apprendre la technologie en profondeur, prendre mon module de satisfaction de contraintes pour le processus décisionnel.

Plus de tutoriels peuvent être trouvés dans CP4. Pour en savoir plus sur le terrain, consulter Rossi, van Beek et Walsh (ed), Manuel de Programmation par Contraintes, Elsevier 2006, EPK Tsang, Fondements de la satisfaction de contraintes, Academic Press, Londres, 1993, CE Freuder & A. Mackworth (éd.), Le raisonnement par contraintes, MIT Press, 1994, R. Dechter, traitement contrainte, Morgan Kaufmann, 2003, Journal of CONTRAINTES et des articles de recherche dans des revues récentes et actes de conférence. Pour arriver à en savoir plus sur d’autres chercheurs, visiter d’autres sites dans les Archives de contraintes bien organisés ou nos liens vers d’autres pages WWW.

Des recherches connexes: Computational Finance et Economie