ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 9/RSTI1 - 2003  - pp.237-250
TITRE
Implantation de SBDS en GNU Prolog

RÉSUMÉ
Nous présentons une implantation en GNU Prolog d’une méthode de "labeling" qui élimine dynamiquement des symétries données par l’utilisateur. Cette technique repose sur l’algorithme SBDS (Symmetry Breaking During Search) de plus en plus connu par la communauté CSP. Cet article a pour objectif de formaliser cet algorithme, de l’implanter en GNU Prolog sous la forme d’une nouvelle fonction de labeling afin qu’il soit facile d’utilisation et de discuter d’optimisations possibles de ses performances.

ABSTRACT
An implementation, in GNU Prolog, of a labeling function which breaks dynamically symmetries given by the user is introduced. This technique rests on the SBDS (Symmetry Breaking During Search) algorithm increasingly known by CSP community. This paper aims to formalize this algorithm, to implement it in GNU Prolog so that it is easy to use and to prospect potential optimisations of its performances.

AUTEUR(S)


MOTS-CLÉS
Programmation avec Contraintes, Symétries, Groupes de permutation, SBDS

KEYWORDS
Constraint Programming, Symmetries, Permutation groups, SBDS

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (225 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier