Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

QCSP guidé par Monte Carlo

Résumé :

Nous présentons dans cet article une coopération entre un solveur de contraintes quantifiées et un algorithme de type Monte Carlo.
Ce dernier sert d'heuristique sur l'ordre du choix des valeurs des domaines des variables lors de la résolution.
Il échantillonne l'espace de recherche pour se focaliser sur les zones qui ne satisfont pas le CSP sous-jacent. Il réordonne ensuite le choix des valeurs des domaines fait par le solveur, donnant la priorité par dualité aux zones de l'espace de recherche ayant le plus de chance de contenir une solution.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03352572
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : jeudi 23 septembre 2021 - 12:18:52
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Identifiants

  • HAL Id : hal-03352572, version 1
  • OKINA : ua8048

Collections

Citation

J.-M. Chantrein, Vincent Barichard, Igor Stéphan. QCSP guidé par Monte Carlo. Actes des Journées Nationales de l'IA Fondamentale (IAF'14), 2014, Angers, France. ⟨hal-03352572⟩

Partager

Métriques

Consultations de la notice

10