Christine SOLNON

Christine SOLNON

Professor of Computer Science at INSA de Lyon
Member of the CITI lab and of the Inria EMERAUDE team
Deputy head of science of the Inria Lyon Centre

Address: CITI, INSA Lyon, Bât. C. Chappe, 6 avenue des Arts, F-69621 Villeurbanne
e-mail: christine.solnon at insa-lyon.fr

Research

Publications:

Softwares:

An exact and anytime solver for the Time-Dependent TSP with Time Windows
Castor: A Constraint-Based SPARQL Engine with Active Filter Processing
LAD to solve subgraph isomorphism problems
AntSolver to solve Constraint Satisfaction Problems
AntClique to search for maximum cliques
AntCar to solve car sequencing problems
SimpleColour to solve graph colouring problems (with a basic exact approach)

Benchmarks:

PhD students:

Since 2024: Florian Rascoussier, on Time-Dependent Vehicle Routing Problems, co-supervised with Romain Billot and Lina Fahed (Lab-STICC)
Since 2021: Leon Fauste, on Choosing the best geographical scale when relocating productive activities, co-supervised with Mathieu Mangeot and Jean-Yves Courtonne (STEEP)
2020-2024: Romain Fontaine, on Exact and Anytime Heuristic Search for the Time-Dependent Travelling Salesman Problem with Time Windows, co-supervised with Jilles S. Dibangoye (CITI)
2020-2024: Xiao Peng, on Planning Problems in a Multi-Tethered-Robot System, co-supervised with Olivier Simonin (CITI)
2019-2022: Loic Rouquette, on Improving scalability and reusability of differential cryptanalysis models using constraint programming, co-supervised with Marine Minier (LORIA)
2017-2020: Lucas Groleaz, on The Group Cumulative Scheduling Problem, co-supervised with Samba N. Ndiaye (LIRIS)
2014-2019: Julien Salotti, on Approaches for neighborhood selection and short-term urban traffic prediction, co-supervised with Serge Fenet (LIRIS) and Nour-Eddin El Faouzi (LICIT)
2013-2019: Michael Saint-Guillain, on Models and Algorithms for Online Stochastic Vehicle Routing Problems, co-supervised with Yves Deville (Universite Catholique de Louvain)
2015-2018: Maxime Chabert, on Constraint Programming Models for Conceptual Clustering: Application to an ERP Configuration Problem , co-supervised with Pierre-Antoine Champin (LIRIS) and Amelie Cordier (LIRIS)
2014-2018: Romain Deville, on Spatio-temporal grid mining applied to image classification and cellular automata analysis, co-supervised with Elisa Fromont and Baptiste Jeudy (LaHC)
2014-2017: Mael Minot, on Investigating decomposition methods for the maximum common subgraph and sum colouring problems, co-supervised with Samba N. Ndiaye (LIRIS)
2013-2016: Penelope Aguiar Melgarejo, on A Constraint Programming Approach for the Time Dependent Traveling Salesman Problem, co-supervised with Philippe Laborie (IBM)
2011-2015: Loic Blet, on Integrating (hyper)tree decomposition techniques in a hybrid generic framework for solving constraint satisfaction problems, co-supervised with Samba N. Ndiaye (LIRIS)
2009-2013: Vianney Le Clement de Saint-Marcq, on Castor: a Constraint-based SPARQL Engine with Active Filter Processing, co-supervised with Yves Deville (Universite Catholique de Louvain)
2009-2012: Camille Combier, on Measuring the similarity of generalized maps, co-supervised with Guillaume Damiand (LIRIS)
2008-2011: Stephane Gosselin, on Mining frequent patterns from combinatorial maps, co-supervised with Guillaume Damiand (LIRIS)
2007-2010: Madjid Khichane, on Constrained optimization with ACO, co-supervised with Patrick Albert (IBM)
2005-2010: Olfa Sammoud, on Graph matching and dynamic optimization with ACO, co-supervised with Khaled Ghedira (ISG Tunis)
2005-2009: Ines Alaya, on Multi-objective optimization with ACO: a study on knapsack problems, co-supervised with Khaled Ghedira (ISG Tunis)
2003-2006: Sebastien Sorlin, on Measuring graph similarity
2002-2005: Claudia Zepeda-Cortes, on Evacuation Planning using Answer Set Programming, co-supervised with Robert Laurini (LIRIS) and Mauricio Osorio (Fundacion Universidad de las Americas)

Books:

Ant Colony Optimization and Constraint Programming
Wiley-ISTE, ISBN: 978-1-84821-130-8, 232 pages
Table of contents Optimisation par colonies de fourmis
(Collection programmation par contraintes)
Editions Hermes-Lavoisier
Sommaire

Projects:

2022-2026: MAMUT (ANR) with Lab-STICC
2019-2022: DeCrypt (ANR) with IRISA, LIMOS, LORIA, and LS2N
2017-2019: ELUD (LabEx IMU) with LICIT, and EVS
2014-2018: SoLSTiCe (ANR Blanc) with LaHC
2014-2017: ASTRAL (IMU) with LET, LICIT, and Grand Lyon
2012-2014: Optimod'Lyon (AMI ADEME) with Grand Lyon, Lyon, IBM, Citiway, Renault Trucks, Orange, Parkeon, GLS, Autoroutes Trafic, Phoenix, CETE, LET
2007-2011: SATTIC (ANR Blanc) with LaHC
2005-2006: Graph-I-Sim (ATIP Jeunes chercheurs)

Organizations and Conferences:

Member of the executive committee of the Lyon Urban Data (aka TUBA)
Associate editor of Annals of Mathematics and Artificial Intelligence
Editorial board member of Swarm Intelligence, Neural Computing and Applications, and Constraints
Programme Committee chair of CP in 2022
Programme committee member of:
- EvoCOP in 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, and 2011
- GECCO in 2005, 2006, 2007, 2009, 2010, 2011, 2012 (Co-chair of the ACO-SI Track), 2013 (Co-chair of the ACO-SI Track), 2014, 2015, 2016, 2017, 2019 (Co-chair of the ACO-SI Track), 2020 (Co-chair of the ACO-SI Track),
- ANTS in 2006, 2008, 2010, 2012, 2014 (Technical co-chair; LNCS Proceedings), 2016, 2018, 2022, and 2024
- LION in 2009, 2010, 2011, 2013, 2014, and 2015
- AAAI in 2011, 2012, 2013, 2014, 2015, 2017, 2018, 2019, 2020, 2021, 2022, and 2023
- IJCAI in 2013, 2015 (Senior PC), 2018, 2019, 2020, 2021, and 2022 (top 3% reviewer)
- ICTAI in 2017, 2018, 2019, and 2020
- ECAI in 2016 and 2020
- CP in 2013, 2014 (Senior PC and Conference co-chair), 2015, 2016 (senior PC, co-chair of the CompSust track), 2017, 2018, 2019 (senior PC), 2020 (senior PC), 2023 (senior PC), 2024, and 2025 (senior PC)
- CP-AI-OR in 2017, 2022, 2023, and 2025
- IDA in 2015, 2016, and 2017
- MIC in 2013, 2015, 2017, and 2022
- PPSN in 2012, 2014, 2016, 2018, and 2020
- CompSust in 2012
- EA in 2009, 2011, 2013, 2015, and 2017
- MOD 2016
- GbR in 2017 and 2019
- JFPLC in 2000, 2002, 2003, and 2004
- JFPC in 2005 (programme committee chair), 2006, 2007, 2009, 2010, 2011 (conference chair), 2018, 2019, and 2021
- CNIA in 2016 and 2018
- RFIA 2008

Teaching

Lecture on Experimental Evaluation at the autumn school of the Association for Constraint Programming (ACP) in 2020
Teaching at INSA Lyon (since 2011) :
- Computer Science: Theory vs Experimentation (5IF):
- Prescriptive Analytics (5IF)
- Software Development (4IF):
- Advanced Algorithms for Artificial Intelligence and Graphs (in french) (3IF):
- UML (3IF; in french; not maintained since 2014): Cours, TD1, TD2, TD3, TD4
Lecture at "Université ouverte Lyon 1" in 2016 : Quelle intelligence pour les Smart Cities ?
Teaching at IUT (in french, from 1994 to 2011):
- Introduction aux grammaires, langages et automates (Support de cours)
- Théorie des graphes - Problèmes d'optimisation dans les graphes (Support de cours)
- Algorithmique (Support de cours)
- Structures de données avancées
- Systèmes d'exploitations Unix/Linux
- Programmation système (Support de cours)
- Introduction à Prolog (de 94 à 99)
- Intelligence Artificielle - Résolution automatique de problèmes (de 94 à 97)
- Ateliers de Génie logiciel (de 94 à 98)
Cours en Master recherche : Résolution de problèmes combinatoires
(support de cours ; diapositives : cours1.pdf, cours2.pdf, cours3.pdf, cours4.pdf)
Cours pour la e-miage : Programmation par contraintes


Ant Colony Optimization and Constraint Programming Wiley-ISTE, ISBN: 978-1-84821-130-8, 232 pages Table of contents		Optimisation par colonies de fourmis (Collection programmation par contraintes) Editions Hermes-Lavoisier Sommaire