Résumé Dans cet article, nous montrons comment une combinaison de stratégies de
branchement et de redémarrages pour la recherche en profondeur d'abord (DFS) permet de …

In this paper, we present a new conversion of multivalued decision diagrams (MDD) to
binary decision diagrams (BDD) which can be used to improve MDD-based fil-tering …

Privacy has traditionally been a major motivation of distributed problem solving. One popular
approach to enable privacy in distributed environments is to implement complex …

Dans cet article, nous présentons MDDF, un nouvel algorithme de révision de contraintes
définies sous forme de diagramme de décision multi-valué (MDD). En réalisant des copies …

Résumé CSPOM est un modèle objet permettant de représenter un problème de satisfaction
de contraintes. L'objectif de CSPOM est de constituer une interface unifiée entre un grand …

Résumé Nous présentons les structures de données utilisées par le solveur Concrete pour
représenter l'état d'un problème au cours de la recherche. L'utilisation de structures …