Christine Solnon

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 33

Top Venues

CPAIOR

CoRR

J. Artif. Intell. Res.

Publications

Loïc Rouquette, Marine Minier, Christine Solnon
Automatic boomerang attacks search on Rijndael. J. Math. Cryptol. 18 (1) (2024)
Xiao Peng, Christine Solnon
Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming. CP (2023)
François Delobel, Patrick Derbez, Arthur Gontier, Loïc Rouquette, Christine Solnon
A CP-Based Automatic Tool for Instantiating Truncated Differential Characteristics. INDOCRYPT (1) (2023)
François Delobel, Patrick Derbez, Arthur Gontier, Loïc Rouquette, Christine Solnon
A CP-based Automatic Tool for Instantiating Truncated Differential Characteristics - Extended Version. IACR Cryptol. ePrint Arch. 2023 (2023)
Romain Fontaine, Jilles Dibangoye, Christine Solnon
Exact and anytime approach for solving the time dependent traveling salesman problem with time windows. Eur. J. Oper. Res. 311 (3) (2023)
Xiao Peng, Olivier Simonin, Christine Solnon
Non-Crossing Anonymous MAPF for Tethered Robots. J. Artif. Intell. Res. 78 (2023)
Loïc Rouquette, David Gérault, Marine Minier, Christine Solnon
And Rijndael?: Automatic Related-Key Differential Analysis of Rijndael. AFRICACRYPT (2022)
Luc Libralesso, François Delobel, Pascal Lafourcade, Christine Solnon
Automatic Generation of Declarative Models For Differential Cryptanalysis. CP (2021)
Xiao Peng, Christine Solnon, Olivier Simonin
Solving the Non-Crossing MAPF with CP. CP (2021)
Omar Rifki, Thierry Garaix, Christine Solnon
An asymptotic approximation of the traveling salesman problem with uniform non-overlapping time windows. CASE (2021)
Loïc Rouquette, Christine Solnon
abstractXOR: A global constraint dedicated to differential cryptanalysis. CP (2020)
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
Computing AES related-key differential characteristics with constraint programming. Artif. Intell. 278 (2020)
Maxime Chabert, Christine Solnon
A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering. J. Artif. Intell. Res. 67 (2020)
Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon
ACO with automatic parameter selection for a scheduling problem with a group cumulative constraint. GECCO (2020)
Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon
Solving the Group Cumulative Scheduling Problem with CPO and ACO. CP (2020)
David Sacramento, Christine Solnon, David Pisinger
Constraint Programming and Local Search Heuristic: a Matheuristic Approach for Routing and Scheduling Feeder Vessels in Multi-terminal Ports. Oper. Res. Forum 1 (4) (2020)
Christine Solnon
Experimental Evaluation of Subgraph Isomorphism Solvers. GbRPR (2019)
Michael Saint-Guillain, Christine Solnon, Yves Deville
Progressive Focus Search for the Static and Stochastic VRPTW with both Random Customers and Reveal Times. CoRR (2019)
Julien Salotti, Serge Fenet, Romain Billot, Nour-Eddin El Faouzi, Christine Solnon
Comparison of Traffic Forecasting Methods in Urban and Suburban Context. ICTAI (2018)
Ciaran McCreesh, Patrick Prosser, Christine Solnon, James Trimble
When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases. J. Artif. Intell. Res. 61 (2018)
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
Revisiting AES related-key differential attacks with constraint programming. Inf. Process. Lett. 139 (2018)
Ruth Hoffmann, Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Craig Reilly, Christine Solnon, James Trimble
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms. CPAIOR (2018)
David Gérault, Marine Minier, Christine Solnon
Using Constraint Programming to solve a Cryptanalytic Problem. IJCAI (2017)
Romain Deville, Élisa Fromont, Baptiste Jeudy, Christine Solnon
Mining Frequent Patterns in 2D+t Grid Graphs for Cellular Automata Analysis. GbRPR (2017)
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
Revisiting AES Related-Key Differential Attacks with Constraint Programming. IACR Cryptol. ePrint Arch. 2017 (2017)
Michael Saint-Guillain, Christine Solnon, Yves Deville
The Static and Stochastic VRPTW with both random Customers and Reveal Times: algorithms and recourse strategies. CoRR (2017)
Michael Saint-Guillain, Christine Solnon, Yves Deville
The Static and Stochastic VRP with Time Windows and both Random Customers and Reveal Times. EvoApplications (2) (2017)
Maël Minot, Samba Ndojh Ndiaye, Christine Solnon
Combining CP and ILP in a Tree Decomposition of Bounded Height for the Sum Colouring Problem. CPAIOR (2017)
Maxime Chabert, Christine Solnon
Constraint Programming for Multi-criteria Conceptual Clustering. CP (2017)
Romain Deville, Élisa Fromont, Baptiste Jeudy, Christine Solnon
GriMa: A Grid Mining Algorithm for Bag-of-Grid-Based Classification. S+SSPR (2016)
Lars Kotthoff, Ciaran McCreesh, Christine Solnon
Portfolios of Subgraph Isomorphism Algorithms. LION (2016)
David Gérault, Marine Minier, Christine Solnon
Constraint Programming Models for Chosen Key Differential Cryptanalysis. CP (2016)
Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems. CP (2016)
Maël Minot, Samba Ndojh Ndiaye, Christine Solnon
A Comparison of Decomposition Methods for the Maximum Common Subgraph Problem. ICTAI (2015)
Christine Solnon, Guillaume Damiand, Colin de la Higuera, Jean-Christophe Janodet
On the complexity of submap isomorphism and maximum common submap problems. Pattern Recognit. 48 (2) (2015)
Michael Saint-Guillain, Yves Deville, Christine Solnon
A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW - Extended version. CoRR (2015)
Marco Dorigo, Mauro Birattari, Simon Garnier, Heiko Hamann, Marco Antonio Montes de Oca, Christine Solnon, Thomas Stützle
ANTS 2014 special issue: Editorial. Swarm Intell. 9 (2-3) (2015)
Penélope Aguiar Melgarejo, Philippe Laborie, Christine Solnon
A Time-Dependent No-Overlap Constraint: Application to Urban Delivery Problems. CPAIOR (2015)
Michael Saint-Guillain, Yves Deville, Christine Solnon
A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW. CPAIOR (2015)
Guillaume Damiand, Tristan Roussillon, Christine Solnon
2D Topological Map Isomorphism for Multi-Label Simple Transformation Definition. DGCI (2014)
Loïc Blet, Samba Ndojh Ndiaye, Christine Solnon
Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector. CP (2014)
Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon
On the subgraph epimorphism problem. Discret. Appl. Math. 162 (2014)
Colin de la Higuera, Jean-Christophe Janodet, Émilie Samuel, Guillaume Damiand, Christine Solnon
Polynomial algorithms for open plane graph and subgraph isomorphisms. Theor. Comput. Sci. 498 (2013)
François Fages, Simon de Givry, Christine Solnon
Preface. RAIRO Oper. Res. 47 (2) (2013)
Christine Solnon, Guillaume Damiand, Colin de la Higuera, Jean-Christophe Janodet
On the Complexity of Submap Isomorphism. GbRPR (2013)
Camille Combier, Guillaume Damiand, Christine Solnon
Map Edit Distance vs. Graph Edit Distance for Matching Images. GbRPR (2013)
Camille Combier, Guillaume Damiand, Christine Solnon
From maximum common submaps to edit distances of generalized maps. Pattern Recognit. Lett. 33 (15) (2012)
Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon, Pierre-Antoine Champin
Castor: A Constraint-Based SPARQL Engine with Active Filter Processing. ESWC (2012)
Samba Ndojh Ndiaye, Christine Solnon
CP Models for Maximum Common Subgraph Problems. CP (2011)
Camille Combier, Guillaume Damiand, Christine Solnon
Measuring the Distance of Generalized Maps. GbRPR (2011)
Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon
An Efficient Light Solver for Querying the Semantic Web. CP (2011)
Stéphane Gosselin, Guillaume Damiand, Christine Solnon
Efficient search of combinatorial maps using signatures. Theor. Comput. Sci. 412 (15) (2011)
Guillaume Damiand, Christine Solnon, Colin de la Higuera, Jean-Christophe Janodet, Émilie Samuel
Polynomial algorithms for subisomorphism of nD open combinatorial maps. Comput. Vis. Image Underst. 115 (7) (2011)
Stéphane Gosselin, Guillaume Damiand, Christine Solnon
Frequent Submap Discovery. CPM (2011)
Stéphane Zampelli, Yves Deville, Christine Solnon
Solving subgraph isomorphism problems with constraint programming. Constraints An Int. J. 15 (3) (2010)
Christine Solnon
AllDifferent-based filtering for subgraph isomorphism. Artif. Intell. 174 (12-13) (2010)
Madjid Khichane, Patrick Albert, Christine Solnon
Strong Combination of Ant Colony Optimization with Constraint Programming Optimization. CPAIOR (2010)
Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon
Constraint-Based Graph Matching. CP (2009)
Guillaume Damiand, Colin de la Higuera, Jean-Christophe Janodet, Émilie Samuel, Christine Solnon
A Polynomial Algorithm for Submap Isomorphism. GbRPR (2009)
Madjid Khichane, Patrick Albert, Christine Solnon
An ACO-Based Reactive Framework for Ant Colony Optimization: First Experiments on Constraint Satisfaction Problems. LION (2009)
Marc Mouret, Christine Solnon, Christian Wolf
Classification of Images Based on Hidden Markov Models. CBMI (2009)
Stéphane Gosselin, Guillaume Damiand, Christine Solnon
Signatures of Combinatorial Maps. IWCIA (2009)
Renaud Lenne, Christine Solnon, Thomas Stützle, Eric Tannier, Mauro Birattari
Reactive Stochastic Local Search Algorithms for the Genomic Median Problem. EvoCOP (2008)
Christine Solnon, Van-Dat Cung, Alain Nguyen, Christian Artigues
The car sequencing problem: Overview of state-of-the-art methods and industrial case-study of the ROADEF'2005 challenge problem. Eur. J. Oper. Res. 191 (3) (2008)
Sébastien Sorlin, Christine Solnon
A parametric filtering algorithm for the graph isomorphism problem. Constraints An Int. J. 13 (4) (2008)
Madjid Khichane, Patrick Albert, Christine Solnon
Integration of ACO in a Constraint Programming Language. ANTS Conference (2008)
Madjid Khichane, Patrick Albert, Christine Solnon
CP with ACO. CPAIOR (2008)
Christine Solnon
Combining two pheromone structures for solving the car sequencing problem with Ant Colony Optimization. Eur. J. Oper. Res. 191 (3) (2008)
Inès Alaya, Christine Solnon, Khaled Ghédira
Optimisation par colonies de fourmis pour le problème du sac à dos multidimensionnel. Tech. Sci. Informatiques 26 (3-4) (2007)
Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont
Filtering for Subgraph Isomorphism. CP (2007)
Inès Alaya, Christine Solnon, Khaled Ghédira
Ant Colony Optimization for Multi-Objective Optimization Problems. ICTAI (1) (2007)
Christine Solnon, Jean-Michel Jolion
Generalized vs Set Median Strings for Histogram-Based Distances: Algorithms and Classification Results in the Image Domain. GbRPR (2007)
Olfa Sammoud, Sébastien Sorlin, Christine Solnon, Khaled Ghédira
A Comparative Study of Ant Colony Optimization and Reactive Search for Graph Matching Problems. EvoCOP (2006)
François Fages, Narendra Jussien, Christine Solnon
Editorial. RAIRO Oper. Res. 40 (4) (2006)
Christine Solnon, Serge Fenet
A study of ACO capabilities for solving the maximum clique problem. J. Heuristics 12 (3) (2006)
Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol
Applications of Preferences using Answer Set Programming. Answer Set Programming (2005)
Sébastien Sorlin, Christine Solnon
Reactive Tabu Search for Measuring Graph Similarity. GbRPR (2005)
Olfa Sammoud, Christine Solnon, Khaled Ghédira
Ant Algorithm for the Graph Matching Problem. EvoCOP (2005)
Sébastien Sorlin, Christine Solnon
Une contrainte globale pour le problème de l'isomorphisme de graphes. JFPLC (2004)
Sébastien Sorlin, Christine Solnon
A Global Constraint for Graph Isomorphism Problems. CPAIOR (2004)
Jano I. van Hemert, Christine Solnon
A Study into Ant Colony Optimisation, Evolutionary Computation and Constraint Programming on Binary Constraint Satisfaction Problems. EvoCOP (2004)
Claudia Zepeda, Christine Solnon, David Sol
Planning Operation: An Extensio'n of a Geographical Information System. LA-NMR (2004)
Jens Gottlieb, Markus Puchta, Christine Solnon
A Study of Greedy, Local Search, and Ant Colony Optimization Approaches for Car Sequencing Problems. EvoWorkshops (2003)
Christine Solnon
Un cours "électronique" sur la programmation par contraintes. JFPLC (2003)
Christine Solnon
Un cours "électronique" sur la programmation par contraintes. Tech. Sci. Informatiques 22 (1) (2003)
Serge Fenet, Christine Solnon
Searching for Maximum Cliques with Ant Colony Optimization. EvoWorkshops (2003)
Pierre-Antoine Champin, Christine Solnon
Measuring the Similarity of Labeled Graphs. ICCBR (2003)
Christine Solnon
Boosting ACO with a Preprocessing Step. EvoWorkshops (2002)
Christine Solnon
Ants can solve constraint satisfaction problems. IEEE Trans. Evol. Comput. 6 (4) (2002)
Christine Solnon
Boosting Local Search with Artificial Ants. CP (2001)
Christine Solnon
Ant-P-Solveur: un solveur de contraintes à base de fourmis artificielles. JFPLC (2000)
Christine Solnon
Solving Permutation Constraint Satisfaction Problems with Artificial Ants. ECAI (2000)
Christine Solnon
Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers. JFPLC (1997)
Christine Solnon
Cooperation of LP Solvers for Solving MILPs. ICTAI (1997)
Michel Rueher, Christine Solnon
Concurrent Cooperating Solvers over Reals. Reliab. Comput. 3 (3) (1997)
Christine Solnon, Michel Rueher
Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. JFPLC (1994)
Christine Solnon, Michel Rueher
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. LOPSTR (1994)
Christine Solnon, Michel Rueher
Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. LPAR (1993)
Christine Solnon, Michel Rueher
Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types. JFPL (1992)
Christine Solnon, Michel Rueher
Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII. PLILP (1992)

Christine Solnon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christine Solnon