| 2026 | CP | Solving the Multiple Constant Multiplication Problem with Constraint Programming. | Tho Cantaloube, Xiao Peng, Christine Solnon, Anastasia Volkova |
| 2025 | CP | BFS-Based Canonical Codes for Generating Graphs with Constraint Programming. | Xiao Peng, Christine Solnon |
| 2025 | CP | Anytime and Exact Search for Planning Problems: How to explore a DP-based state transition graph with A*, CP and LS? (Invited Talk). | Christine Solnon |
| 2025 | SAT | Anytime and Exact Search for Planning Problems: How to Explore a DP-based State Transition Graph with A*, CP and LS? (Invited Talk). | Christine Solnon |
| 2023 | CP | Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming. | Xiao Peng, Christine Solnon |
| 2023 | INDOCRYPT | A CP-Based Automatic Tool for Instantiating Truncated Differential Characteristics. | Franois Delobel, Patrick Derbez, Arthur Gontier, Loc Rouquette, Christine Solnon |
| 2021 | CP | Automatic Generation of Declarative Models For Differential Cryptanalysis. | Luc Libralesso, Franois Delobel, Pascal Lafourcade, Christine Solnon |
| 2021 | CP | Solving the Non-Crossing MAPF with CP. | Xiao Peng, Christine Solnon, Olivier Simonin |
| 2020 | CP | Solving the Group Cumulative Scheduling Problem with CPO and ACO. | Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon |
| 2020 | CP | abstractXOR: A global constraint dedicated to differential cryptanalysis. | Loc Rouquette, Christine Solnon |
| 2020 | GECCO | ACO with automatic parameter selection for a scheduling problem with a group cumulative constraint. | Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon |
| 2018 | CPAIOR | Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms. | Ruth Hoffmann, Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Craig Reilly, Christine Solnon, James Trimble |
| 2018 | ICTAI | Comparison of Traffic Forecasting Methods in Urban and Suburban Context. | Julien Salotti, Serge Fenet, Romain Billot, Nour-Eddin El Faouzi, Christine Solnon |
| 2017 | CP | Constraint Programming for Multi-criteria Conceptual Clustering. | Maxime Chabert, Christine Solnon |
| 2017 | CPAIOR | Combining CP and ILP in a Tree Decomposition of Bounded Height for the Sum Colouring Problem. | Mal Minot, Samba Ndojh Ndiaye, Christine Solnon |
| 2017 | IJCAI | Using Constraint Programming to solve a Cryptanalytic Problem. | David Grault, Marine Minier, Christine Solnon |
| 2016 | CP | Constraint Programming Models for Chosen Key Differential Cryptanalysis. | David Grault, Marine Minier, Christine Solnon |
| 2016 | CP | Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems. | Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon |
| 2016 | SSPR | GriMa: A Grid Mining Algorithm for Bag-of-Grid-Based Classification. | Romain Deville, lisa Fromont, Baptiste Jeudy, Christine Solnon |
| 2015 | CPAIOR | A Time-Dependent No-Overlap Constraint: Application to Urban Delivery Problems. | Penlope Aguiar-Melgarejo, Philippe Laborie, Christine Solnon |
| 2015 | CPAIOR | A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW. | Michael Saint-Guillain, Yves Deville, Christine Solnon |
| 2015 | ICTAI | A Comparison of Decomposition Methods for the Maximum Common Subgraph Problem. | Mal Minot, Samba Ndojh Ndiaye, Christine Solnon |
| 2014 | CP | Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector. | Loc Blet, Samba Ndojh Ndiaye, Christine Solnon |
| 2011 | CP | CP Models for Maximum Common Subgraph Problems. | Samba Ndojh Ndiaye, Christine Solnon |
| 2011 | CP | An Efficient Light Solver for Querying the Semantic Web. | Vianney le Clment de Saint-Marcq, Yves Deville, Christine Solnon |
| 2011 | CPM | Frequent Submap Discovery. | Stphane Gosselin, Guillaume Damiand, Christine Solnon |
| 2010 | CPAIOR | Strong Combination of Ant Colony Optimization with Constraint Programming Optimization. | Madjid Khichane, Patrick Albert, Christine Solnon |
| 2009 | CBMI | Classification of Images Based on Hidden Markov Models. | Marc Mouret, Christine Solnon, Christian Wolf |
| 2009 | CP | Constraint-Based Graph Matching. | Vianney le Clment de Saint-Marcq, Yves Deville, Christine Solnon |
| 2009 | IWCIA | Signatures of Combinatorial Maps. | Stphane Gosselin, Guillaume Damiand, Christine Solnon |
| 2008 | CPAIOR | CP with ACO. | Madjid Khichane, Patrick Albert, Christine Solnon |
| 2007 | CP | Filtering for Subgraph Isomorphism. | Stphane Zampelli, Yves Deville, Christine Solnon, Sbastien Sorlin, Pierre Dupont |
| 2007 | ICTAI | Ant Colony Optimization for Multi-Objective Optimization Problems. | Ins Alaya, Christine Solnon, Khaled Ghdira |
| 2004 | CPAIOR | A Global Constraint for Graph Isomorphism Problems. | Sbastien Sorlin, Christine Solnon |
| 2003 | ICCBR | Measuring the Similarity of Labeled Graphs. | Pierre-Antoine Champin, Christine Solnon |
| 2001 | CP | Boosting Local Search with Artificial Ants. | Christine Solnon |
| 2000 | ECAI | Solving Permutation Constraint Satisfaction Problems with Artificial Ants. | Christine Solnon |
| 1997 | ICTAI | Cooperation of LP Solvers for Solving MILPs. | Christine Solnon |
| 1994 | LOPSTR | Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. | Christine Solnon, Michel Rueher |
| 1993 | LPAR | Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. | Christine Solnon, Michel Rueher |
| 1991 | LOPSTR | Using a Prolog Prototype for Designing an Object Oriented Scheme. | Christine Solnon, Michel Rueher |