L’appariement de graphes est une technique utilisée dans de nombreux domaines et peut être modélisé comme un problème de satisfaction de contraintes. Cette approche par contraintes est concurrentielle avec des algorithmes dédiés. Dans cet article, nous développons des techniques de détection et d’élimination de symétries spécifiques pour l’appariement de graphes. Nous montrons également comment ces symétries peuvent être éliminées. Nous montrons aussi comment les symétries de valeur conditionnelles peuvent être automatiquement détectées et utilisées. Une nouveau type de symétrie est présenté, appelé symétrie locale, et nous indiquons comment ce nouveau type de symétrie peut être calculé et exploité. Enfin, nous évaluons les techniques class...
Colloque avec actes sans comité de lecture. nationale.National audienceLes techniques de fésolution ...
La modernisation de la mise en œuvre des règles de concurrence, initiée par la Commission européenne...
Colloque sur invitation. nationale.National audienceNous présentons quelques algorithmes performants...
National audienceDans cet article, nous proposons de détecter automatiquement les symétries de varia...
Cette thèse porte sur la recherche de solutions préférées dans les problèmes décisionnels admettant ...
Dans cette thèse, nous étudions différents aspects liés à la localité des algorithmes distribués. D'...
National audienceLes techniques existantes de décomposition sont inefficaces sur des problèmes dont ...
http://www.ci-ra.org/spip.php?article18National audienceLe partitionnement de graphes est une techni...
Les solveurs de contraintes actuels mettent à disposition des utilisateurs des algorithmes efficaces...
National audienceLe problème de l'isomorphisme de graphes consiste à prouver que deux graphes donnés...
Dans cette thèse, nous nous intéressons aux aspects algorithmiques des calculs locaux dans les domai...
L'objectif de cette thèse est de montrer que le modèle des systèmes de réécriture de graphe est un m...
La preuve d'algorithme dans les systèmes corruptibles est un problème difficile. Traditionnellement,...
Cette thèse est une contribution à une démarche globale de conception rationnelle des systèmes d'ass...
Dans cette thèse, on étudie ce qui est calculable dans différents modèles d'algorithmique distribuée...
Colloque avec actes sans comité de lecture. nationale.National audienceLes techniques de fésolution ...
La modernisation de la mise en œuvre des règles de concurrence, initiée par la Commission européenne...
Colloque sur invitation. nationale.National audienceNous présentons quelques algorithmes performants...
National audienceDans cet article, nous proposons de détecter automatiquement les symétries de varia...
Cette thèse porte sur la recherche de solutions préférées dans les problèmes décisionnels admettant ...
Dans cette thèse, nous étudions différents aspects liés à la localité des algorithmes distribués. D'...
National audienceLes techniques existantes de décomposition sont inefficaces sur des problèmes dont ...
http://www.ci-ra.org/spip.php?article18National audienceLe partitionnement de graphes est une techni...
Les solveurs de contraintes actuels mettent à disposition des utilisateurs des algorithmes efficaces...
National audienceLe problème de l'isomorphisme de graphes consiste à prouver que deux graphes donnés...
Dans cette thèse, nous nous intéressons aux aspects algorithmiques des calculs locaux dans les domai...
L'objectif de cette thèse est de montrer que le modèle des systèmes de réécriture de graphe est un m...
La preuve d'algorithme dans les systèmes corruptibles est un problème difficile. Traditionnellement,...
Cette thèse est une contribution à une démarche globale de conception rationnelle des systèmes d'ass...
Dans cette thèse, on étudie ce qui est calculable dans différents modèles d'algorithmique distribuée...
Colloque avec actes sans comité de lecture. nationale.National audienceLes techniques de fésolution ...
La modernisation de la mise en œuvre des règles de concurrence, initiée par la Commission européenne...
Colloque sur invitation. nationale.National audienceNous présentons quelques algorithmes performants...