« Problème de satisfaction de contraintes » : différence entre les versions
m (Remplacement de texte — « <!-- Termium --> » par « Catégorie:Termium ») |
m (Remplacement de texte — « n.m. » par « nom masc. ») |
||
| Ligne 9 : | Ligne 9 : | ||
==Français== | ==Français== | ||
'''problème de satisfaction de contraintes ''' | '''problème de satisfaction de contraintes '''nom masc. | ||
==Anglais== | ==Anglais== | ||
Version du 16 avril 2020 à 13:10
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 nom masc.
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
Contributeurs: Jacques Barolet, wiki
