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

L'outil coupure pour les QCSP

Résumé :

Nous introduisons un nouvel outil permettant d'élaguer des branches satisfiables d'un arbre de recherche d'un QCSP. Cet outil permet, entre autres, de restaurer la propriété d'absorption du vrai par rapport à la disjonction dans les solveurs QCSP basés sur une conjonction de contraintes et un algorithme de recherche quantifié.
Ce nouvel outil est inspiré de la coupure de Prolog comme un outil dont l'utilisation est laissée sous la responsabilité du concepteur du QCSP pour élaguer des parties de l'espace de recherche qui sont connues par construction inutiles à parcourir.
Ce nouvel outil permet en particulier d'utiliser efficacement un QCSP pour spécifier des jeux à deux joueurs sans restreindre le langage QCSP.
Notre solveur QCSP construit au-dessus de GECODE obtient d'excellents résultats vis-à-vis de l'état de l'art des solveurs QCSP.

 

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

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

Identifiants

  • HAL Id : hal-03352562, version 1
  • OKINA : ua8049

Collections

Citation

Vincent Barichard, Igor Stéphan. L'outil coupure pour les QCSP. Actes des dixièmes Journées Francophones de Programmation par Contraintes (JFPC'14), 2014, Angers, France. pp.143-152. ⟨hal-03352562⟩

Partager

Métriques

Consultations de la notice

4