2 résultats : solveur

Recherche en cours

Par mots-clef = solveur

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

2 résultats

page 1 sur 1

résultats 1 à 2

La programmation par contraintes

Description : Grâce à elle, le programme informatique résolvant un problème peut s’écrire de manière très simple. Il s’agit simplement d’écrire les différentes contraintes que l’on souhaite voir respectées…

Mots clés : programmation logique, algorithme, solveur, langage haut niveau, recherche opérationnelle, propagation de contrainte, optimisation, fuscia

Date : 20-02-2004

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La programmation par contraintes

Ajouter à mon panier

Accéder au document

Programmation par contraintes

Description : La première session de ce cours introduira les notions de contraintes, de problèmes de satisfaction de contraintes (CSPs) et de solution d'un CSP.
Lors de la deuxième session, vous vous entraînerez, à travers plusieurs exercices, à modéliser un problème sous la forme d'un CSP.
Lors de la troisième ...

Mots clés : programmation déclarative, Prolog, solveur de contrainte, relation logique, algorithme, filtrage, fuscia

Date : 01-09-2003

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Programmation par contraintes

Ajouter à mon panier

Accéder au document

Rebondir