« Problème de satisfaction de contraintes » : différence entre les versions


m (Remplacement de texte — « Catégorie:Termium » par « <!-- Termium --> »)
m (Remplacement de texte — « <!-- Termium --> » par « Catégorie:Termium »)
Ligne 1 : Ligne 1 :
<!-- Termium -->
[[Catégorie:Termium]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:Mathématiques]]
[[Catégorie:Mathématiques]]

Version du 6 juillet 2019 à 10:37


Définition

Dans un problème de satisfaction de contraintes, on cherche à assigner aux variables des valeurs de telle sorte que toutes les contraintes fournies en entrée soient satisfaites.

Français

problème de satisfaction de contraintes n.m.

Anglais

constraint satisfaction problem


Kharrat, Ons. Étude d'un algorithme pour 2-SAT via les opérations de majorité-minorité généralisées [mémoire de maîtrise]. Université Laval, 2012, p. ii. Consulté : 2019-04-05. https://corpus.ulaval.ca/jspui/bitstream/20.500.11794/23332/1/28877.pdf


Source : TERMIUM Plus



Contributeurs: Jacques Barolet, wiki