Publications

Article(s) de revue(s) internationale(s)

2011 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Efficient Constraint Propagation for Graph Coloring in Electronic Notes in Discrete Mathematics (ENDM),vol. 37, Elsevier, pp. 243-248, août 2011.

2007 K. Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Random constraint satisfaction: easy generation of hard (satisfiable) instances in Artificial Intelligence (AIJ),vol. 171, n° 8-9, Elsevier, pp. 514-534, juin 2007. [Download]

Article(s) de conférence(s) internationale(s)

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Constraint Solving using Parallel Singleton Arc Consistency in 1st Workshop on Cloud Computing and Optimization,septembre 2014. [Download]

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sliced Table Constraints: Combining Compression and Tabular Reduction in 11th International Conference on Integration of Artificial Intelligence and Operations Research (CPAIOR’14),Lecture Notes in Computer Science (LNCS), Volume 8451, Springer, pp. 120-135, mai 2014. [Download]

2011 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Efficient constraint propagation for graph coloring in Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS’11),pp. 422-427, avril 2011. [Download]

2007 Christophe Lecoutre, Fred Hemery, A Study of Residual Supports in Arc Consistency in 20th International Joint Conference on Artificial Intelligence (IJCAI’07),pp. 125-130, janvier 2007. [Download]

2006 Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Frédéric Boussemart, Extracting MUCs from Constraint Networks in 17th European Conference on Artificial Intelligence (ECAI’06),pp. 113-117, août 2006. [Download]

2006 Christophe Lecoutre, Fred Hemery, A study of residual supports in arc consistency in 3rd International Workshop on Constraint Propagation And Implementation held with CP’06 (CPAI’06),pp. 31-45, septembre 2006.

2005 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Description and Representation of the Problems selected for the first International Constraint Satisfaction Solver Competition in Proceedings of the 2nd International Workshop on Constraint Propagation And Implementation (CPAI’2005) held with CP’2005,pp. 7-26, septembre 2005.

2005 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Abscon 2005 in 2nd International Workshop on Constraint Propagation And Implementation held with CP’05 (CPAI’05),pp. 67-72, septembre 2005.

2005 Gilles Goncalves, Fred Hemery, Aneta Poniszewska, Representation of Extended RBAC Model Using UML Language in 31th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2005),pp. 405-409, janvier 2005.

2005 K. Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, A simple model to generate hard satisfiable instances in 19th International Joint Conference on Artificial Intelligence (IJCAI’05),pp. 337-342, août 2005. [Download]

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Revision ordering heuristics for the Constraint Satisfaction Problem in 1st International Workshop on Constraint Propagation and Implementation,pp. 9-43, septembre 2004. [Download]

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Boosting systematic search by weighting constraints in 16th European Conference on Artificial Intelligence (ECAI’04),pp. 146-150, août 2004. [Download]

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Support inference for generic filtering in 10th International Conference on Principles and practice of Constraint Programming (CP’04),LNCS 3258, Springer, pp. 721-725, septembre 2004. [Download]

2004 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Backjump-based techniques versus conflict-directed heuristics in 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’04),pp. 549-557, novembre 2004. [Download]

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Implicit random CSPs in 15th IEEE International Conference on Tools with Arificial Intelligence (ICTAI’03),pp. 482-486, novembre 2003. [Download]

2003 Gilles Goncalves, Fred Hemery, Aneta Poniszewska, Verification of Access Control Coherence in Information System during Modifications in 12th IEEE International Workshops on Enabling Technologies Infrastructure for Collaborative Enterprises (WETICE’2003),pp. 9-11, juin 2003.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Exploiting multidirectionality in coarse-grained arc-concistency algorithms in 9th International Conference on Principles and Practice of Constraint Programming (CP’03),LNCS 2833, Springer, vol. 2833, pp. 480-494, octobre 2003. [Download]

1997 Jean-Michel Hannoff, Jean-Christophe Nicolas, Fred Hemery, Approach to Service Uses in Federated Systems Information in Database and Expert Systems Applications, Federated and Distributed Databases (DEXA Workshop 1997),1997.

1993 Jean-Marc geib, Fred Hemery, The Mapping of Communicating Active Components on Multicomputer Machines in PARCO 1993,Elsevier, pp. 613-618, septembre 1993.

Article(s) de conférence(s) nationale(s)

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Les contraintes table fragmentées : combiner la compression et la réduction tabulaire in 10èmes Journées Francophones de Programmation par Contraintes (JFPC’14),pp. 133-142, juin 2014. [Download]

2013 Fred Hemery, Christophe Lecoutre, Olivier Roussel, STR et compression de contraintes tables in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 143-146, juin 2013. [Download]

2011 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Contrôle statistique du processus de propagation de contraintes in 7ièmes Journées Francophones de Programmation par Contraintes (JFPC’11),pp. 65-74, juin 2011. [Download]

2006 Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Frédéric Boussemart, Extraction de noyaux insatisfiables minimaux de reseaux de contraintes in 2ndes Journées Francophones de Programmation par Contraintes (JFPC’06),pp. 209-217, juin 2006. [Download]

2006 Christophe Lecoutre, Fred Hemery, Une etude des supports residuels pour la consistance d’arc in 2ndes Journées Francophones de Programmation par Contraintes (JFPC’06),pp. 267-276, juin 2006. [Download]

2005 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Inférence de supports pour les algorithmes de filtrage générique in 1ères Journées Francophones de Programmation par Contraintes (JFPC’05),pp. 89-98, juin 2005. [Download]

2004 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Techniques de retour-arrière intelligent versus heuristiques dirigées par les conflits in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC’04),pp. 235-250, juin 2004. [Download]

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Heuristiques de choix de variables dirigées par les conflits in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC’04),pp. 91-105, juin 2004. [Download]

2004 Gilles Goncalves, Fred Hemery, Aneta Poniszewska, Ingénierie des rôles : de la conception à l’évolution des schémas de sécurité in Atelier Sécurité des Systèmes d’Information, XXII Congrès INFORSID ( INFORSID 2004),mai 2004.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Problèmes de satisfaction de contraintes aléatoires en intention in 9èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC’03),pp. 249-262, juin 2003. [Download]

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Au coeur de la consistance d’arc in 9èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC’03),pp. 233-247, juin 2003. [Download]

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, De AC3 à AC7 in 12èmes Journées Francophones de Programmation Logique avec Contraintes (JFPLC’03),Hermès, pp. 267-280, juin 2003. [Download]

2001 Gilles Goncalves, Fred Hemery, Une plate-forme UML-XML pour la gestion des rôles s’un système d’information in Congrès INFORSID (INFORSID 2001),pp. 111-122, juin 2001.

2000 Gilles Goncalves, Fred Hemery, Des cas d’utilisation en UML à la gestion de rôles dans un système d’information in Congrès INFORSID (INFORSID 2000),pp. 367-379, mai 2000.

Rapport(s) technique(s)

2012 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sébastien Tabary, Optimization du montage de prets immobiliers : modelisation du probleme Projet SPI. MITI-CNRS, mars 2012.