La quatrième compétition internationale de solveurs de contraintes XCSP3 est organisée pour améliorer notre connaissance des composants (par exemple, algorithmes de filtrage, heuristiques, stratégies de recherche, encodage techniques de reformulation et de procédures d'apprentissage) qui sont à l'origine de l'efficacité de la résolution systèmes (appelés solveurs de contraintes dans ce document) pour les contraintes combinatoires problèmes.
Ce site permet de retrouver les différents résultats de cette compétition.