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


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(3 versions intermédiaires par le même utilisateur non affichées)
Ligne 3 : Ligne 3 :


==Français==
==Français==
'''problème de satisfaction de contraintes  ''' <small>nom masc. </small>
'''problème de satisfaction de contraintes  '''  
   
   
==Anglais==
==Anglais==
Ligne 9 : Ligne 9 :




<small>
==Sources==


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
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
Ligne 18 : Ligne 18 :


[[Catégorie:Intelligence artificielle]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:Mathématiques]]
 


[[Category:GRAND LEXIQUE FRANÇAIS]]
[[Category:GRAND LEXIQUE FRANÇAIS]]

Dernière version du 28 janvier 2024 à 11:53

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

Anglais

constraint satisfaction problem


Sources

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