Solving loosely coupled constraints

Michel Le Borgne 1, *
* Auteur correspondant
1 SYMBIOSE - Biological systems and models, bioinformatics and sequences
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Many practical problems are modelled by mean of constraints which, pairwise, share only a few variables if any. Suc constraints are loosely coupled. In this paper we show how to use this property to lower the complexity of decision procedures or solvers. The introduction of a data structure, the well formed covering tree allows for a reparametrisation of constraint problems in a way which can be seen as a generalisation of the triangulation procedure for system of linear equations.
Type de document :
Rapport
[Research Report] RR-6958, INRIA. 2009, pp.19
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00397098
Contributeur : Michel Le Borgne <>
Soumis le : vendredi 19 juin 2009 - 15:19:06
Dernière modification le : jeudi 11 janvier 2018 - 06:20:10
Document(s) archivé(s) le : mardi 15 juin 2010 - 17:16:17

Fichiers

RR-6958.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00397098, version 1

Citation

Michel Le Borgne. Solving loosely coupled constraints. [Research Report] RR-6958, INRIA. 2009, pp.19. 〈inria-00397098〉

Partager

Métriques

Consultations de la notice

276

Téléchargements de fichiers

127