Nous présentons une contrainte de partitionnement de graphe par des arbres sous contraintes de degré. Étant donné un graphe orienté G, la contrainte spécifie que toute solution est formée par N arbres, tels que le nombre de fils d'un sommet quelconque de G appartienne à un ensemble donné de valeurs. Il existe pour la contrainte d'arbre pure, introduite dans [2], une caractérisation complète polynomialement évaluable. Cependant, la prise en compte du nombre de fils de chaque sommet rend le problème d'existence d'une solution NP-complet. Nous montrons donc comment intégrer une relaxation polynomiale de la contrainte de degré, prenant en compte les différents aspects de la contrainte d'arbre pure. Enfin, nous présentons une première série de r...
National audienceLa publication et l'édition concurrentes de graphes de connaissances, notamment bio...
Nous présentons dans ce papier une nouvelle technique de génération d'invariants dans le contexte d'...
18 pagesPrésentation par des exemples des connaissances algèbriques en Inde au XIIe siècle, ainsi qu...
Nous présentons une contrainte de partitionnement de graphe par des arbres sous contraintes de degré...
Cet article présente un schéma de filtrage générique, basé sur la description de contraintes globale...
Nous présentons deux contraintes qui partitionnent les sommets d'un graphe non-orienté G = (V, E), o...
Etant donné un graphe orienté $\cG$, le problème des $\NPATH$-chemins disjoints consiste à trouver u...
International audienceNous présentons une structure de données permettant de répondre rapidement aux...
National audienceDans cet article, nous proposons de détecter automatiquement les symétries de varia...
Le sudoku est un jeu de logique qui est devenu en quelques mois un phénomène de société en France. I...
National audienceConcilier la conservation des habitats naturels avec le développement socioéconomiq...
posters de médiation scientifiquesCes posters font partie d'une série de posters que nous présentons...
National audienceDe nombreuses propriétés de consistance locale ont été exploitées dans la résolutio...
National audienceCet article présente plusieurs contributions au "Conflict Driven Clauses Learning" ...
National audienceCet article présente plusieurs contributions au "Conflict Driven Clauses Learning" ...
National audienceLa publication et l'édition concurrentes de graphes de connaissances, notamment bio...
Nous présentons dans ce papier une nouvelle technique de génération d'invariants dans le contexte d'...
18 pagesPrésentation par des exemples des connaissances algèbriques en Inde au XIIe siècle, ainsi qu...
Nous présentons une contrainte de partitionnement de graphe par des arbres sous contraintes de degré...
Cet article présente un schéma de filtrage générique, basé sur la description de contraintes globale...
Nous présentons deux contraintes qui partitionnent les sommets d'un graphe non-orienté G = (V, E), o...
Etant donné un graphe orienté $\cG$, le problème des $\NPATH$-chemins disjoints consiste à trouver u...
International audienceNous présentons une structure de données permettant de répondre rapidement aux...
National audienceDans cet article, nous proposons de détecter automatiquement les symétries de varia...
Le sudoku est un jeu de logique qui est devenu en quelques mois un phénomène de société en France. I...
National audienceConcilier la conservation des habitats naturels avec le développement socioéconomiq...
posters de médiation scientifiquesCes posters font partie d'une série de posters que nous présentons...
National audienceDe nombreuses propriétés de consistance locale ont été exploitées dans la résolutio...
National audienceCet article présente plusieurs contributions au "Conflict Driven Clauses Learning" ...
National audienceCet article présente plusieurs contributions au "Conflict Driven Clauses Learning" ...
National audienceLa publication et l'édition concurrentes de graphes de connaissances, notamment bio...
Nous présentons dans ce papier une nouvelle technique de génération d'invariants dans le contexte d'...
18 pagesPrésentation par des exemples des connaissances algèbriques en Inde au XIIe siècle, ainsi qu...