Publications

• Computing AES Related-Key Differential Characteristics with Constraint Programming
  David Gerault, Pascal Lafourcade, Marine Minier, and Christine Solnon
  Artificial Intelligence, Elsevier (doi)
  Paper (pdf)
• A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering
  Maxime Chabert and Christine Solnon
  Journal of Artificial Intelligence Research, Vol. 67 (to appear)
  

• Experimental Evaluation of Subgraph Isomorphism Solvers
  Christine Solnon
  Invited Talk at 12th IAPR International Workshop on Graph-based Representations in Pattern Recognition (GbR), LNCS, Springer
  Paper (pdf)
• On spatio-temporal granularity of optimal delivery tours
  Omar Rifki, Nicolas Chiabaut, and Christine Solnon
  8th Symposium of the European Association for Research in Transportation (hEART 2019)

• When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases
  Ciaran Mccreesh, Patrick Prosser, Christine Solnon, and James Trimble
  in Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2018, 61, pp.723 - 759
  Paper
• Revisiting AES Related-Key Differential Attacks with Constraint Programming
  David Gerault, Pascal Lafourcade, Marine Minier, and Christine Solnon
  in Information Processing Letters, 139:24-29
  Paper (pdf)
• Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms
  Ruth Hoffmann, Ciaran Mccreesh, Samba Ndiaye, Patrick Prosser, Craig Reilly, Christine Solnon, and James Trimble
  in 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), 2018
  LNCS 10849:298-315, Springer
  Paper (pdf)
• Comparison of traffic forecasting methods in urban and suburban context
  Julien Salotti, Serge Fenet, Romain Billot, Nour-Eddin El Faouzi, and Christine Solnon
  to appear in IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
  Paper (pdf)

• Constraint Programming for Multi-criteria Conceptual Clustering
  Maxime Chabert and Christine Solnon
  in 23rd International Conference on Principles and Practice of Constraint Programming (CP), 2017
  Paper (pdf)
• Using Constraint Programming to solve a Cryptanalysis Problem
  David Gerault, Marine Minier, and Christine Solnon
  in International Joint Conference on Artificial Intelligence (IJCAI) - Sister Conference Best Paper Track, 2017
  Paper (pdf)
• Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem
  Mael Minot, Samba N. Ndiaye, and Christine Solnon
  in 14th International Conference on Integration of AI and OR Techniques in Constraint Programming, 2017, LNCS, Springer
  Paper (pdf)
• Mining Frequent Patterns in 2D+t Grid Graphsfor Cellular Automata Analysis
  Romain Deville1, Elisa Fromont, Baptiste Jeudy, and Christine Solnon
  11th IAPR International Workshop on Graph-based Representations in Pattern Recognition (GbR), LNCS 10310, Springer
  Paper (pdf)
• The Static and Stochastic VRP with Time Windows and both random Customers and Reveal Times
  Michael Saint-Guillain, Christine Solnon, and Yves Deville
  in Evolutionary Algorithms and Meta-heuristics in Stochastic and Dynamic Environments (EvoSTOC), 2017, LNCS, Springer
  Paper (pdf)

• Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems
  Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, and Christine Solnon
  in 22nd International Conference on Principles and Practice of Constraint Programming (CP), 2016
  LLNCS 9892, pages 350-368
  Paper (pdf)
• Constraint Programming Models for Chosen Key Differential Cryptanalysis
  David Gerault, Marine Minier, and Christine Solnon
  in 22nd International Conference on Principles and Practice of Constraint Programming (CP), 2016
  LLNCS 9892, pages 584-601
  Paper (pdf)
• Portfolios of Subgraph Isomorphism Algorithms
  Lars Kotthoff, Ciaran McCreesh, and Christine Solnon
  in Learning and Intelligent OptimizatioN Conference (LION 10), 2016
  Paper (pdf)
• GriMa: a Grid Mining Algorithm for Bag-of-Grid-Based Classification
  Romain Deville, Elisa Fromont, Baptiste Jeudy, and Christine Solnon
  to appear in IAPR International Workshop on Structural and Syntactic Pattern Recognition (SSPR 2016)
  Paper (pdf)

• On the complexity of Submap Isomorphism and Maximum Common Submap Problems
  Christine Solnon, Guillaume Damiand, Colin de la Higuera, Jean-Christophe Janodet
  in Pattern Recognition, 48(2):302-316, Elsevier, 2015
  Science direct  Paper (pdf)
• A Stochastic Programming Heuristic Approach to the Dynamic and Stochastic Vehicle Routing Problem with Time Windows
  Michael Saint Guillain, Yves Deville, and Christine Solnon
  in 12th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2015), LNCS 9075, pp. 357-374, Springer
  Paper (pdf)
• A Time-Dependent No-Overlap Constraint: Application to Urban Delivery Problems
  Penelope Aguiar Melgarejo, Philippe Laborie, and Christine Solnon
  in 12th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2015), LNCS 9075, pp. 1-17, Springer
  LNCS, Springer
  Paper (pdf)
• A Comparison of Decomposition Methods for the Maximum Common Subgraph Problem
  Mael Minot, Samba Ndojh Ndiaye, and Christine Solnon
  To appear in 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015)
  Paper (pdf)
• (in french) Recherche d'un plus grand sous-graphe commun par decomposition du graphe de compatibilite
  Mael Minot, Samba N. Ndiaye, et Christine Solnon
  dans Onziemes Journees Francophones de Programmation par Contraintes (JFPC 2015), pp. 216-226
  Actes (pdf)
• (in french) Un cadre generique pour l'integration de BTD dans une bibliotheque de programmation par contraintes
  Samba N. Ndiaye, et Christine Solnon
  dans Onziemes Journees Francophones de Programmation par Contraintes (JFPC 2015), pp. 216-226
  Actes (pdf)

• On the Subgraph Epimorphism Problem
  Steven Gay, Francois Fages, Thierry Martinez, Sylvain Soliman, and Christine Solnon
  Discrete Applied Mathematics, 162:214-228, Elsevier, 2014
  Science direct   Paper (pdf)
• Experimental comparison of BTD and intelligent backtracking: Towards an automatic per-instance algorithm selector
  Loic Blet, Samba N. Ndiaye, and Christine Solnon
  20th International Conference on Principles and Practice of Constraint Programming (CP 2014), LNCS 8656, pp. 190-206, 2014
  Paper (pdf)
• 2D Topological Map Isomorphism for Multi-label Simple Transformation Definition
  Guillaume Damiand, Tristan Roussillon, and Christine Solnon
  18th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI 2014), LNCS 8668, pp. 39-50, 2014
  
• Solving a Symmetric Key Cryptographic Problem with Constraint Programming
  Marine Minier, Christine Solnon, and Julia Reboul
  13th International Workshop on Constraint Modelling and Reformulation (ModRef), in conjunction with CP'14, pp. 1-13, 2014
  Proceedings (pdf)
• A Time-Dependent No-Overlap Constraint: Application to Delivery Problems
  Penelope Aguiar-Melgarejo, Philippe Laborie, and Christine Solnon
  Doctoral program of the 20th International Conference of Principles and Practice of Constraint Programming (CP), pp. 1-7, 2014
  Proceedings (pdf)
• The Dial-a-Ride Problem with Transfers and Stochastic Customers
  Michael Saint-Guillain, Yves Deville, and Christine Solnon
  Doctoral program of the 20th International Conference of Principles and Practice of Constraint Programming (CP), pp. 72-78, 2014
  Proceedings (pdf)
• (in french) Comparaison de BTD avec des strategies d'exploration intelligentes pour une selection automatique d'algorithmes
  Loic Blet, Samba N. Ndiaye, and Christine Solnon
  to appear in JFPC 2014
  
• (in french) Meta-heuristiques et Intelligence artificielle
  Jin-Kao Hao et Christine Solnon
  Chapitre du livre ``Algorithmes pour l'intelligence artificielle''
  Editions Cepadues
  Version preliminaire

• Polynomial Algorithms for Open Plane Graph and Subgraph Isomorphisms
  Colin de la Higuera, Jean-Christophe Janodet, Emilie Samuel, Guillaume Damiand, and Christine Solnon
  Theoretical Computer Science, 498:76-99, Elsevier, 2013
  Science direct
• Map Edit Distance vs Graph Edit Distance for Matching Images
  Camille Combier, Guillaume Damiand, and Christine Solnon
  9th Workshop on Graph-based Representations in Pattern Recognition (GbR), LNCS 7877, pp152-161, Springer, 2013
  Paper (pdf)    Slides    Springer link
• On the Complexity of Submap Isomorphism
  Christine Solnon, Guillaume Damiand, Colin de la Higuera, and Jean-Christophe Janodet
  9th Workshop on Graph-based Representations in Pattern Recognition (GbR), LNCS 7877, pp21-30, Springer, 2013
  Paper (pdf)    Slides    Springer link
• Sparse-Sets for Domain Implementation
  Vianney le Clement de Saint Marcq, Pierre Schaus, Christine Solnon, and Christophe Lecoutre
  CP workshop on Techniques foR Implementing Constraint programming Systems (TRICS)
• (in french) Optimisation du fret et des déplacements professionnels planifiés dans le projet Optimod~Lyon
  Thomas Baudel, Peneloppe Aguiar Melgarejo, Christine Solnon, Laurent Jacques, Jean Coldefy
  Revue TEC 219:2-5, 2013

• From Maximum Common Submaps to Edit Distances of Generalized Maps
  Camille Combier, Guillaume Damiand, and Christine Solnon
  Pattern Recognition Letters (PRL), 33(15):2020-2028, Elsevier, 2012
  Draft version of the paper (pdf)    ScienceDirect
• Castor: a Constraint-based SPARQL Engine with Active Filter Processing
  Vianney le Clement de Saint-Marcq, Yves Deville, Christine Solnon, and Pierre-Antoine Champin
  in 9th Extended Semantic Web Conference (ESWC'12), LNCS 7295, pp391-405, Springer
  Draft version of the paper (pdf)
• Global and reactive routing in urban context: first experiments and difficulty assessment
  Penelope A. Melgarejo, Thomas Baudel, and Christine Solnon
  in Optimization and Smart Cities, CP 2012 Workshop
• A generic framework for solving CSPs integrating decomposition methods
  Loic Blet, Samba N. Ndiaye, and Christine Solnon
  in CP'2012 Doctoral Programme
• (in french) Un Solveur Leger Efficace pour Interroger le Web Semantique
  Vianney le Clement de Saint-Marcq, Yves Deville, Christine Solnon, and Pierre-Antoine Champin
  in 8emes Journees Francophones de Programmation par Contraintes (JFPC)
  Paper (pdf)
• (in french) Integration d'une approche structurelle dans un cadre hybride pour la resolution de CSP
  Loic Blet, Samba N. Ndiaye, and Christine Solnon
  in 18eme congres francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12)

• Polynomial Algorithms for Subisomorphism of nD Open Combinatorial Maps
  Guillaume Damiand, Christine Solnon, Colin de la Higuera, Jean-Christophe Janodet, and Emilie Samuel
  in Computer Vision and Image Understanding (CVIU), 115(7):996-1010, Elsevier, 2011
  Draft version of the paper (pdf)    ScienceDirect
• Efficient Search of Combinatorial Maps using Signatures
  Stephane Gosselin, Guillaume Damiand, and Christine Solnon
  Theoretical Computer Science, 412(15):1392-1405, Elsevier, 2011
  Draft version of the paper (pdf)    ScienceDirect
  
• Castor: Using Constraint Programming to Solve SPARQL Queries
  Vianney Le clément de saint-Marcq, Yves Deville, Christine Solnon, and Pierre-Antoine Champin
  in the Poster and Demonstration session of the 10th International Semantic Web Conference (ISWC'11)
• CP Models for Maximum Common Subgraph Problems
  Samba Ndojh Ndiaye and Christine Solnon
  in 17th International Conference on Principles and Practice of Constraint Programming (CP'11), LNCS 6876, pp637-644, Springer
  Paper (pdf)   Springerlink
• An Efficient Light Solver for Querying the Semantic Web
  Vianney le Clément de Saint-Marcq, Yves Deville, and Christine Solnon
  in 17th International Conference on Principles and Practice of Constraint Programming (CP'11), LNCS 6876, pp145-159, Springer
  Paper (pdf)   Springerlink
• Frequent Submap Discovery
  Stephane Gosselin, Guillaume Damiand, and Christine Solnon
  in 22nd Annual Symposium on Combinatorial Pattern Matching (CPM'11), LNCS 6661, pp429-440, Springer
  Paper (pdf)   Springerlink
• Measuring the distance of generalized maps
  Camille Combier, Guillaume Damiand, and Christine Solnon
  Graph-based Representation for Pattern Recognition (GbR'11), LNCS 6658, pp82-91, Springer
  Paper (pdf)   Springerlink
• (In french) Modélisation et résolution de problèmes de plus grands sous-graphes communs à l'aide de la programmation par contraintes
  Samba Ndojh Ndiaye et Christine Solnon
  Journées Francophones de Programmation par Contraintes
  Paper (pdf)

Ant Colony Optimization and Constraint Programming Wiley-ISTE, ISBN: 978-1-84821-130-8, 232 pages Table of contents Associated programs: AntSolver   AntClique    AntCar

• AllDifferent-based Filtering for Subgraph Isomorphism
  Christine Solnon
  Artificial Intelligence, 174(12-13):850-864, Elsevier, 2010
  Draft version of the paper (pdf)    ScienceDirect
  Program
• Solving subgraph isomorphism problems with constraint programming
  Stephane Zampelli, Yves Deville, and Christine Solnon
  Constraints, 15(3):327-353, Springer, 2010
  Paper (pdf)    SpringerLink
• Strong Combination of Ant Colony Optimization with Constraint Programming Optimization
  Madjid Khichane, Patrick Albert, and Christine Solnon
  5th International Conference on Integration of AI and OR Techniques CP for Combinatorial Optimization Problems (CPAIOR 2010)
  LNCS 6140, pp.232-245, Springer
• Using Constrained Optimization to Understand, Predict and Control Knotweed Spread
  Florence Piola, Soraya Rouifed, and Christine Solnon
  Second International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (CROCS 2010)
• (In French) Integration de l'optimisation par colonies de fourmis dans CP Optimizer
  Madjid Khichane, Patrick Albert, and Christine Solnon
  Journees Francophones de Programmation par Contraintes (JFPC 2010)
• (In French) Filtrage base sur des contraintes tous differents pour l'isomorphisme de sous-graphes
  Christine Solnon
  Journees Francophones de Programmation par Contraintes (JFPC 2010)
• (In French) Recherche efficace dans une base de cartes combinatoires
  S. Gosselin, G. Damiand, and C. Solnon
  Reconnaissance de Formes et Intelligence Artificielle (RFIA 2010)

• Constraint-based graph matching
  Vianney le Clement, Yves Deville, and Christine Solnon
  15th International Conference on Principles and Practice of Constraint Programming (CP'09), LNCS 5732, pp. 274-288, Springer
  Paper (pdf)
• Signatures of combinatorial maps
  Stephane Gosselin, Guillaume Damiand, and Christine Solnon
  13th International Workshop on Combinatorial Image Analysis (IWCIA'09), LNCS 5852, pp. 370-382, Springer
  Paper (pdf)
• Modeling languages
  Yves Deville and Christine Solnon
  Tutorial at SLS'09 (Engineering Stochastic Local Search Algorithms)
  Slides (pdf)
• A new ACO approach for solving dynamic problems
  Olfa Sammoud, Christine Solnon, and Khaled Ghedira
  9th International Conference on Artificial Evolution (EA'09)
• A reactive framework for ACO
  Madjid Khichane, Patrick Albert and Christine Solnon
  Learning and Intelligent OptimizatioN (LION'09), LNCS 5851, pp. 119-133, Springer
  Paper (pdf)
• A Polynomial Algorithm for Submap Isomorphism : Application to searching patterns in images
  Guillaume Damiand, Colin De La Higuera, Jean-Christophe Janodet, Emilie Samuel, and Christine Solnon
  Graph-based Representation for Pattern Recognition (GbR'09), LNCS 5534, pp102-112, Springer
  Paper (pdf)    Slides (pdf)    SpringerLink
• A Polynomial Algorithm for Subisomorphism of Plane Graphs with Holes
  Guillaume Damiand, Colin De La Higuera, Jean-Christophe Janodet, Emilie Samuel, and Christine Solnon
  7th International Workshop on Mining and Learning with Graphs (MLG'09)
• Classification of Images based on Hidden Markov Models
  Marc Mouret, Christine Solnon, and Christian Wolf
  IEEE workshop on Content-based Multimedia Indexing (CBMI'09), pp. 169-174
  Paper (pdf)
• Un modele reactif pour l'optimisation par colonies de fourmis : application a la satisfaction de contraintes
  Madjid Khichane, Patrick Albert and Christine Solnon
  Journees Francophones de Programmation par Contraintes (JFPC'09)
  Paper (pdf)

In french : Optimisation par colonies de fourmis (Collection programmation par contraintes) Editions Hermes-Lavoisier Sommaire

• A parametric filtering algorithm for the graph isomorphism problem
  Sebastien Sorlin and Christine Solnon
  Constraints, Vol. 13, N°4, pages 518-537, Springer
  Abstract    Full paper (pdf)    SpringerLink
• The car sequencing problem: overview of state-of-the-art methods and industrial case-study of the ROADEF'2005 challenge problem
  Christine Solnon, Van-Dat Cung, Alain Nguyen, and Christian Artigues
  European Journal of Operational Research (EJOR), Volume 191, Issue 3, pages 912-927, Elsevier
  Abstract    Full paper (pdf)
• Combining two pheromone structures for solving the car sequencing problem with Ant Colony Optimization
  Christine Solnon
  European Journal of Operational Research (EJOR), Volume 191, Issue 3, pages 1043-1055, Elsevier
  Abstract    Full paper (pdf)
• Integration of ACO in a Constraint Programming Language
  Madjid Khichane, Patrick Albert, Christine Solnon
  6th International Conference on Ant Colony Optimization and Swarm Intelligence (ANTS 2008)
  LNCS 5217, pages 84-95, Springer, September 2008
  Full paper (pdf)    Slides (pdf)
• CP with ACO
  Madjid Khichane, Patrick Albert, Christine Solnon
  5th International Conference on Integration of AI and OR Techniques in CP for Combinatorial Optimization Problems (CPAIOR 2008)
  LNCS 5015, pages 328-332 (short paper), Springer, May 2008
  Paper (pdf)    Slides (pdf)    SpringerLink
• Reactive Stochastic Local Search Algorithms for the Genomic Median Problem
  Renaud Lenne, Christine Solnon, Thomas Stuetzle, Eric Tannier, and Mauro Birattari
  Eighth European Conference on Evolutionary Computation in Combinatorial Optimisation (EvoCOP'08)
  LNCS 4972, pages 266-276, Springer, March 2008
  Abstract    Full paper (pdf)    SpringerLink
• A similarity based P-ACO version for Solving Dynamic Problems
  Olfa Sammoud, Christine Solnon, and Khaled Ghedira
  in International Conference on Metaheuristics and Nature Inspired Computing (META'08)
  Slides (pdf)
• Advances on Stochastic Local Search Algorithms for the Genomic Median Problem
  Renaud Lenne, Christine Solnon, Thomas Stuetzle, and Eric Tannier
  in International Conference on Metaheuristics and Nature Inspired Computing (META'08)
• Programmation par contraintes avec des fourmis
  Madjid Khichane, Patrick Albert, Christine Solnon
  Journées Francophones de Programmation par Contraintes (JFPC'08), June 2008
  Full paper (pdf)

• Ant Colony Optimization for Multi-objective Optimization Problems
  Ines Alaya, Christine Solnon, Khaled Ghédira
  19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'07), pages 450-457, October 2007
  Abstract    Full paper (pdf)    Slides (pdf)
• Filtering for Subgraph Isomorphism
  Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont
  13th International Conference on Principles and Practice of Constraint Programming (CP'07), LNCS 4741, pages 728-742, September 2007
  Abstract    Full paper (pdf)    SpringerLink
• Using ACO to guide a CP search
  Madjid Khichane, Patrick Albert, Christine Solnon
  First Workshop on Autonomous Search, in conjunction with CP'07, September 2007
  Abstract    Full paper (pdf)    Slides (pdf)
• Ant Colony Optimization for Constraint Satisfaction
  Christine Solnon
  Tutorial at the 13th International Conference on Principles and Practice of Constraint Programming (CP'07), September 2007
  Slides
• Generalized vs set median strings for histogram-based distances: algorithms and classification results in the image domain
  Christine Solnon and Jean-Michel Jolion
  in Proceedings of Graph based Representation for Pattern Recognition (GbR'07), pages 404-414, LNCS 4538, Springer
  Abstract    Full paper (pdf)
• A Generic Graph Distance Measure Based on Multivalent Matchings
  Sébastien Sorlin, Christine Solnon, and Jean-Michel Jolion
  Chapter of the book "Applied Graph Theory in Computer Vision and Pattern Recognition", Vol. 52, Series "Studies in Computational Intelligence", Springer, pages 151-182
• A new filtering algorithm for the graph isomorphism problem Sébastien Sorlin and Christine Solnon
  Contribution to the chapter "Constraint Propagation and Implementation" of the book "Trends in Constraint Programming", pages 103-107, ISTE Publisher
• Optimisation par colonies de fourmis pour le problème du sac-à-dos multidimensionnel
  Inès Alaya, Christine Solnon, and Khaled Ghédira
  in Techniques et Sciences Informatiques (TSI) 26(3-4):371-390, Hermes Lavoisier
  Abstract
  A draft version is available as a research report LIRIS RR-2006-005 (pdf)
• Filtrage pour l'isomorphisme de sous-graphe
  Stephane Zampelli, Yves Deville, Christine Solnon, Sebastien Sorlin, and Pierre Dupont
  in Journées Francophones de Programmation par Contraintes (JFPC)
  Paper (pdf)

• A new filtering algorithm for the graph isomorphism problem
  Sébastien Sorlin and Christine Solnon
  in « Third International Workshop on Constraint Propagation and Implementation » (CPAI'06) held in conjunction with CP'06
  Abstract    Full paper (pdf)
• A study of ACO capabilities for solving the Maximum Clique Problem
  Christine Solnon and Serge Fenet
  in « Journal of Heuristics » - May 2006
  Volume 12 - Number 3 - pages 155-180 - Springer
  Abstract
  A draft version is available as a research report LIRIS RR-2004-021 (pdf)
• An Ant Colony Optimization Meta-Heuristic for Subset Selection Problems
  Christine Solnon and Derek Bridge
  Chapter of the book « System Engineering using Particle Swarm Optimization » - March 2006
  Nadia Nedjah and Luiza Mourelle editors - Nova Science publisher - pages 7-29
  Abstract
  A draft version is available as a research report LIRIS RR-2005-017 (pdf)
• A Comparative Study of Ant Colony Optimization and Reactive Search for Graph Matching Problems
  Olfa Sammoud, Sébastien Sorlin, Christine Solnon, and Khaled Ghédira
  in « 6th European Conference on Evolutionary Computation in Combinatorial Optimization » (EvoCOP 2006) - April 2006
  Lecture Notes in Computer Science N°3906 - © Springer - pages 234-246
  Abstract    Full paper (pdf)    Slides (pdf)
• Ant Colony Optimization for Multivalent Graph Matching Problems
  Olfa Sammoud, Christine Solnon, and Khaled Ghédira
  in « ECAI Workshop on Evolutionary Computation ((EC)2AI 2006) »
• Etude comparative de ACO et de Tabou Réactif sur des problèmes d'appariement de graphes
  Sébastien Sorlin, Olfa Sammoud, Christine Solnon et Khaled Ghédira
  dans les actes des deuxièmes Journées Francophones de Programmation par Contraintes (JFPC 2006), pages 317-326
  article (pdf)
• Des fourmis pour le problème d'ordonnancement de voitures
  Christine Solnon
  dans les actes des deuxièmes Journées Francophones de Programmation par Contraintes (JFPC 2006), pages 305-316
  article (pdf)    transparents (pdf)
• Mesurer la similarité de graphes
  Sébastien Sorlin, Olfa Sammoud, Christine Solnon et Jean-Michel Jolion
  dans « Extraction de COnnaissance à partir d'Images (ECOI 2006) »
  Atelier de Extraction et Gestion de Connaissances (EGC 2006), pages 21-30

• Contributions à la résolution pratique de problèmes combinatoires : des fourmis et des graphes
  Mémoire d'habilitation à diriger des recherches - 6 décembre 2005
  Mémoire (ps)
• Ant Algorithm for the Graph Matching Problem
  Olfa Sammoud, Christine Solnon, and Khaled Ghédira
  in « 5th European Conference on Evolutionary Computation in Combinatorial Optimization » (EvoCOP 2005) - April 2005
  Lecture Notes in Computer Science N°3448 - © Springer Verlag - pages 213-223
  Abstract    Full paper (pdf)    Slides (ppt)
• Reactive Tabu Search for Measuring Graph Similarity
  Sébastien Sorlin, Christine Solnon
  in « 5th IAPR Workshop on Graph-based Representations in Pattern Recognition » (GbR 2005) - April 2005
  Lecture Notes in Computer Science N°3434 - © Springer Verlag - pages 172-182
  Abstract    Full paper (pdf)
• An application of preferences using Answer Set Programing : Evacuation planning
  Claudia Zepeda, Mauricio Osorio, Christine Solnon, and David Sol
  Poster session of the « 4th Mexican International Conference on Artificial Intelligence (MICAI 2005) »
  journal « Research on Computing Science » - November 2005
  
• Applications of preferences using Answer Set Programming
  Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, and David Sol
  in « Answer Set Programming: Advances in Theory and Implementation (ASP 2005) » - July 2005
  Full paper (ps)

• Ant algorithm for the multi-dimensional knapsack problem
  Inès Alaya, Christine Solnon, and Khaled Ghédira
  in « International Conference on Bioinspired Optimization Methods and their Applications » (BIOMA 2004) - October 2004 - pages 63-72
  Abstract    Full paper (pdf)
• An on-line course on constraint programming
  Christine Solnon
  Invited talk at the « first International Workshop on Teaching Logic Programming (TeachLP 2004) », in conjunction with the International Conference on Logic Programming (ICLP 2004) - September 2004
  Linköping Electronic Conference Proceedings, Issue No. 12
• A global constraint for graph isomorphism problems
  Sébastien Sorlin, Christine Solnon
  in « Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR 2004 ) » - April 2004
  Lecture Notes in Computer Science N°3011 - © Springer Verlag - pages 287-301
  Abstract    Full paper (postscript)    Full paper (pdf)
• A Study into Ant Colony Optimization, Evolutionary Computation and Constraint Programming on Binary Constraint Satisfaction Problems
  Jano van Hemert and Christine Solnon
  in « Evolutionary Computation in Combinatorial Optimization (EvoCOP 2004) » - April 2004
  Lecture Notes in Computer Science N°3004 - © Springer Verlag - pages 114-123
  Abstract    Full paper (postscript)    Full paper (pdf)
• Planning Operation: An Extension of a Geographical Information System
  Claudia Zepeda, Christine Solnon, and David Sol
  in « Latin-American Workshop on Non-Monotonic Reasoning (LA-NMR 2004) » - April 2004
  Vol. 92 of CEUR workshop proceedings edited by M. Osorio and A. Provetti
• Une contrainte globale pour le problème d'isomorphisme de graphes
  Sébastien Sorlin, Christine Solnon
  in 13èmes Journées Francophones de Programmation en Logique avec Contraintes « JFPLC 2004 » - June 2004
  Editions Hermes - pages 91-107
  Abstract    Full paper (pdf)

• Measuring the similarity of labeled graphs
  Pierre-Antoine Champin and Christine Solnon
  in « 5th International Conference on Case-Based Reasoning (ICCBR 2003) » - June 2003
  Lecture Notes in Artificial Intelligence N°2689 - © Springer Verlag - pages 80-95
  Abstract    Full paper (postscript)    Full paper (pdf)
• Searching for Maximum Cliques with Ant Colony Optimization
  Serge Fenet and Christine Solnon
  in « Applications of evolutionary computing (EvoCOP 2003) » - April 2003
  Lecture Notes in Computer Science N°2611 - © Springer Verlag - pages 236-245
  Abstract    Full paper (postscript)    Full paper (pdf)    Slides (pdf)
• A Study of Greedy, Local Search and Ant Colony Optimization Approaches for Car Sequencing Problems
  Jens Gottlieb, Markus Puchta, and Christine Solnon
  in « Applications of evolutionary computing (EvoCOP 2003) » - April 2003
  Lecture Notes in Computer Science N°2611 - © Springer Verlag - pages 246-257
  Abstract    Full paper (postscript)    Full paper (pdf)
• Un cours « électronique » sur la programmation par contraintes
  Christine Solnon
  in « Programmation en logique avec contraintes (JFPLC 2003) » - Juin 2003
  Numéro spécial de la Revue des Sciences et Technologies de l'Information (RSTI) - Editions Hermès - pages 77-80 (papier court)
  Full paper (postscript)    Cours en ligne    slides (pdf)
• Mesurer la similarité de graphes étiquetés
  Sébastien Sorlin, Pierre-Antoine Champin et Christine Solnon
  in « 9èmes Journées Nationales sur la résolution pratique de problèmes NP-Complets (JNPC 2003) » - pages 325-339
  Juin 2003
  Abstract    Full paper (postscript)    slides (pdf)
• Recherche de cliques maximum avec la métaheuristique "Ant Colony Optimization"
  Serge Fenet et Christine Solnon
  in « 5ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision" (ROADEF 2003) » - pages 159-160
  February 2003
  

• Ants Can Solve Constraint Satisfaction Problems
  Christine Solnon
  in « IEEE Transactions on Evolutionary Computation » - August 2002
  Vol.6 - N°4 - pages 347-357
  Abstract    Full paper (postscript)
• Boosting ACO with a Preprocessing Step
  Christine Solnon
  in « Applications of Evolutionary Computing (EvoCOP 2002) » - April 2002
  Lecture Notes in Computer Science N°2279 - © Springer Verlag - pages 163-172
  Abstract    Full paper (postscript)    Full paper (pdf)
  

• Boosting Local Search with Artificial Ants
  Christine Solnon
  in « 7th International Conference on Principles and Practice of Constraint Programming (CP 2001) » - November 2001
  Lecture Notes in Computer Science N°2239 - Springer Verlag - pages 620-624 (short paper)
  Full paper (pdf)
  
• Dopage des algorithmes à base de fourmis par des techniques de fouille de données
  Arnaud Stuber, Christine Solnon
  in « 7èmes Journées Nationales sur la résolution Pratique de problèmes NP-Complets (JNPC 2001) » - Juin 2001
  pages 271-282
  

• Solving Permutation Constraint Satisfaction Problems with Artificial Ants
  Christine Solnon
  in « 14th European Conference on Artificial Intelligence (ECAI 2000) » - August 2000
  IOS Press - pages 118-122
  Abstract    Full paper (postscript)
  
• Ant-P-solveur : un solveur de contraintes à base de fourmis artificielles
  Christine Solnon
  in « 9èmes Journées Francophones sur la Programmation Logique et par Contraintes (JFPLC 2000) » - Mai 2000
  Editions Hermès - pages 189-204
  Abstract    Full paper (postscript)
• A Generic Ant Algorithm for Solving Constraint Satisfaction Problems
  Simone Pimont and Christine Solnon
  in « 2nd International Workshop on Ant Algorithms (ANTS 2000) » - September 2000
  Abstract

• 31st of March 1998: birth of Lison !!!    

• Concurrent Cooperating Solvers over Reals
  Michel Rueher and Christine Solnon
  International Journal of Reliable Computing - Vol. 3 - Nb 3 - October 97 - pages 325-333
  Kluwer Academic Publishers
  Abstract     Full paper (pdf)
• Cooperation of LP Solvers for Solving MILPs
  Christine Solnon
  in « International Conference on Tools for Artificial Intelligence (ICTAI 97) » - November 97
  IEEE Computer Society Press - pages 240-247
  Abstract     Full paper (postscript)
  
• Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers
  Christine Solnon
  in « 6èmes Journées Francophones sur la Programmation Logique et par Contraintes (JFPLC 97) »
  Editions Hermès - pages 211-225
  Abstract     Full paper (postscript)

• 5th of May 1995: birth of Léo !!!    

• Propagation of inter-argument dependencies in tuple-distributive type inference systems
Christine Solnon, Michel Rueher
Logic Program Synthesis and Transformation (LOPSTR'94)
Lecture Notes in Computer Science Nb 883 - Springer Verlag - pages 199-214
Abstract

• Inférence de contraintes ensemblistes à partir de programmes Prolog: application à la déduction de relations d'héritage
Christine Solnon, Michel Rueher
3èmes Journées Francophones sur la Programmation Logique (JFPL'94)

• Extracting inheritance hierarchies from Prolog programs: a system based on the inference of type relations
Christine Solnon, Michel Rueher
International Conference on Logic Programming and Automated Reasoning (LPAR'93)
Lecture Notes in Computer Science Nb 698 - Springer Verlag - pages 309-320

• Inférence de types en Prolog: traitement des prédicats génériques par dépliage
Christine Solnon, Michel Rueher
Actes des Journées du GDR Greco de programmation - octobre 93 - 17 pages

• Un système d'inférence de relations inter-types pour Prolog
  -- Application à la génération de modèles objets --
  february 93 - 161 pages
  PHD Thesis / Mémoire de thèse de doctorat
  

• 23rd of July 1992: birth of Lucas !!!    

• Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types
Christine Solnon, Michel Rueher
Journées Francophones sur la Programmation Logique (JFPL'92)

• Inference of inheritance relationships from Prolog programs: a system developed with PrologIII
Christine Solnon, Michel Rueher
4th International Symposium on Programming Languages and Logic Programming (PLILP'92) - Poster Session
Lecture Notes in Computer Science Nb 631 - Springer Verlag - pages 489-490

• Using a Prolog prototype for designing an object-oriented scheme
Christine Solnon, Michel Rueher
Logic Program Synthesis and Transformation (LOPSTR'91)
Workshop in Computing Series - Springer Verlag - pages 300-317