Tag: constraint-programming
Une contrainte de réseau est défini par un triplet <X,C,D>, où X est un ensemble de variables, C est un ensemble de contraintes, et D un domaine de X (c’est à dire un mappage de variables dans des ensembles de valeurs).
La contrainte de satisfaction problème (CSP) est la question de savoir si une contrainte de réseau a une solution ou pas.