Christine Solnon

Affiliations:
  • INSA de Lyon, France
  • LIRS Lyon, France (former)


According to our database1, Christine Solnon authored at least 102 papers between 1991 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automatic boomerang attacks search on Rijndael.
J. Math. Cryptol., February, 2024

2023
Exact and anytime approach for solving the time dependent traveling salesman problem with time windows.
Eur. J. Oper. Res., December, 2023

Non-Crossing Anonymous MAPF for Tethered Robots.
J. Artif. Intell. Res., 2023

A CP-based Automatic Tool for Instantiating Truncated Differential Characteristics - Extended Version.
IACR Cryptol. ePrint Arch., 2023

A CP-Based Automatic Tool for Instantiating Truncated Differential Characteristics.
Proceedings of the Progress in Cryptology - INDOCRYPT 2023, 2023

Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming.
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022
And Rijndael?: Automatic Related-Key Differential Analysis of Rijndael.
Proceedings of the Progress in Cryptology, 2022

2021
Solving the Non-Crossing MAPF with CP.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Automatic Generation of Declarative Models For Differential Cryptanalysis.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

An asymptotic approximation of the traveling salesman problem with uniform non-overlapping time windows.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Constraint Programming and Local Search Heuristic: a Matheuristic Approach for Routing and Scheduling Feeder Vessels in Multi-terminal Ports.
Oper. Res. Forum, 2020

A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering.
J. Artif. Intell. Res., 2020

Computing AES related-key differential characteristics with constraint programming.
Artif. Intell., 2020

ACO with automatic parameter selection for a scheduling problem with a group cumulative constraint.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

abstractXOR: A global constraint dedicated to differential cryptanalysis.
Proceedings of the Principles and Practice of Constraint Programming, 2020

Solving the Group Cumulative Scheduling Problem with CPO and ACO.
Proceedings of the Principles and Practice of Constraint Programming, 2020

Meta-heuristics and Artificial Intelligence.
Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms, 2020

2019
Progressive Focus Search for the Static and Stochastic VRPTW with both Random Customers and Reveal Times.
CoRR, 2019

Experimental Evaluation of Subgraph Isomorphism Solvers.
Proceedings of the Graph-Based Representations in Pattern Recognition, 2019

2018
When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases.
J. Artif. Intell. Res., 2018

Revisiting AES related-key differential attacks with constraint programming.
Inf. Process. Lett., 2018

Comparison of Traffic Forecasting Methods in Urban and Suburban Context.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

2017
The Static and Stochastic VRPTW with both random Customers and Reveal Times: algorithms and recourse strategies.
CoRR, 2017

Using Constraint Programming to solve a Cryptanalytic Problem.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Mining Frequent Patterns in 2D+t Grid Graphs for Cellular Automata Analysis.
Proceedings of the Graph-Based Representations in Pattern Recognition, 2017

The Static and Stochastic VRP with Time Windows and both Random Customers and Reveal Times.
Proceedings of the Applications of Evolutionary Computation - 20th European Conference, 2017

Combining CP and ILP in a Tree Decomposition of Bounded Height for the Sum Colouring Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Constraint Programming for Multi-criteria Conceptual Clustering.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
GriMa: A Grid Mining Algorithm for Bag-of-Grid-Based Classification.
Proceedings of the Structural, Syntactic, and Statistical Pattern Recognition, 2016

Portfolios of Subgraph Isomorphism Algorithms.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Constraint Programming Models for Chosen Key Differential Cryptanalysis.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2015
ANTS 2014 special issue: Editorial.
Swarm Intell., 2015

On the complexity of submap isomorphism and maximum common submap problems.
Pattern Recognit., 2015

A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW - Extended version.
CoRR, 2015

A Comparison of Decomposition Methods for the Maximum Common Subgraph Problem.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

A Time-Dependent No-Overlap Constraint: Application to Urban Delivery Problems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

2014
On the subgraph epimorphism problem.
Discret. Appl. Math., 2014

2D Topological Map Isomorphism for Multi-Label Simple Transformation Definition.
Proceedings of the Discrete Geometry for Computer Imagery, 2014

Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector.
Proceedings of the Principles and Practice of Constraint Programming, 2014

2013
Polynomial algorithms for open plane graph and subgraph isomorphisms.
Theor. Comput. Sci., 2013

Preface.
RAIRO Oper. Res., 2013

On the Complexity of Submap Isomorphism.
Proceedings of the Graph-Based Representations in Pattern Recognition, 2013

Map Edit Distance vs. Graph Edit Distance for Matching Images.
Proceedings of the Graph-Based Representations in Pattern Recognition, 2013

2012
From maximum common submaps to edit distances of generalized maps.
Pattern Recognit. Lett., 2012

Castor: A Constraint-Based SPARQL Engine with Active Filter Processing.
Proceedings of the Semantic Web: Research and Applications, 2012

2011
Efficient search of combinatorial maps using signatures.
Theor. Comput. Sci., 2011

Polynomial algorithms for subisomorphism of nD open combinatorial maps.
Comput. Vis. Image Underst., 2011

Measuring the Distance of Generalized Maps.
Proceedings of the Graph-Based Representations in Pattern Recognition, 2011

Frequent Submap Discovery.
Proceedings of the Combinatorial Pattern Matching - 22nd Annual Symposium, 2011

An Efficient Light Solver for Querying the Semantic Web.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

CP Models for Maximum Common Subgraph Problems.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
Solving subgraph isomorphism problems with constraint programming.
Constraints An Int. J., 2010

AllDifferent-based filtering for subgraph isomorphism.
Artif. Intell., 2010

Strong Combination of Ant Colony Optimization with Constraint Programming Optimization.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

2009
An ACO-Based Reactive Framework for Ant Colony Optimization: First Experiments on Constraint Satisfaction Problems.
Proceedings of the Learning and Intelligent Optimization, Third International Conference, 2009

Signatures of Combinatorial Maps.
Proceedings of the Combinatorial Image Analysis, 13th International Workshop, 2009

A Polynomial Algorithm for Submap Isomorphism.
Proceedings of the Graph-Based Representations in Pattern Recognition, 2009

Constraint-Based Graph Matching.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Classification of Images Based on Hidden Markov Models.
Proceedings of the Seventh International Workshop on Content-Based Multimedia Indexing, 2009

2008
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., 2008

Combining two pheromone structures for solving the car sequencing problem with Ant Colony Optimization.
Eur. J. Oper. Res., 2008

A parametric filtering algorithm for the graph isomorphism problem.
Constraints An Int. J., 2008

Reactive Stochastic Local Search Algorithms for the Genomic Median Problem.
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2008

CP with ACO.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

Integration of ACO in a Constraint Programming Language.
Proceedings of the Ant Colony Optimization and Swarm Intelligence, 2008

2007
A Generic Graph Distance Measure Based on Multivalent Matchings.
Proceedings of the Applied Graph Theory in Computer Vision and Pattern Recognition, 2007

Optimisation par colonies de fourmis pour le problème du sac à dos multidimensionnel.
Tech. Sci. Informatiques, 2007

Ant Colony Optimization for Multi-Objective Optimization Problems.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

Generalized vs Set Median Strings for Histogram-Based Distances: Algorithms and Classification Results in the Image Domain.
Proceedings of the Graph-Based Representations in Pattern Recognition, 2007

Filtering for Subgraph Isomorphism.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Editorial.
RAIRO Oper. Res., 2006

A study of ACO capabilities for solving the maximum clique problem.
J. Heuristics, 2006

A Comparative Study of Ant Colony Optimization and Reactive Search for Graph Matching Problems.
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2006

2005
Reactive Tabu Search for Measuring Graph Similarity.
Proceedings of the Graph-Based Representations in Pattern Recognition, 2005

Ant Algorithm for the Graph Matching Problem.
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2005

Applications of Preferences using Answer Set Programming.
Proceedings of the Answer Set Programming, 2005

Contributions à la résolution pratique de problèmes combinatoires: des fourmis et des graphes.
, 2005

2004
Planning Operation: An Extensio'n of a Geographical Information System.
Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, 2004

Une contrainte globale pour le problème de l'isomorphisme de graphes.
Proceedings of the Programmation en logique avec contraintes, 2004

A Study into Ant Colony Optimisation, Evolutionary Computation and Constraint Programming on Binary Constraint Satisfaction Problems.
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2004

A Global Constraint for Graph Isomorphism Problems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003
Un cours "électronique" sur la programmation par contraintes.
Tech. Sci. Informatiques, 2003

Measuring the Similarity of Labeled Graphs.
Proceedings of the Case-Based Reasoning Research and Development, 2003

A Study of Greedy, Local Search, and Ant Colony Optimization Approaches for Car Sequencing Problems.
Proceedings of the Applications of Evolutionary Computing, 2003

Searching for Maximum Cliques with Ant Colony Optimization.
Proceedings of the Applications of Evolutionary Computing, 2003

2002
Ants can solve constraint satisfaction problems.
IEEE Trans. Evol. Comput., 2002

Boosting ACO with a Preprocessing Step.
Proceedings of the Applications of Evolutionary Computing, 2002

2001
Boosting Local Search with Artificial Ants.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Ant-P-Solveur: un solveur de contraintes à base de fourmis artificielles.
Proceedings of the Programmation en logique avec contraintes, 2000

Solving Permutation Constraint Satisfaction Problems with Artificial Ants.
Proceedings of the ECAI 2000, 2000

1997
Concurrent Cooperating Solvers over Reals.
Reliab. Comput., 1997

Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers.
Proceedings of the JFPLC'97, 1997

Cooperation of LP Solvers for Solving MILPs.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

1994
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage.
Proceedings of the JFPLC'94, 1994

1993
Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992
Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII.
Proceedings of the Programming Language Implementation and Logic Programming, 1992

Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types.
Proceedings of the JFPL'92, 1992

1991
Using a Prolog Prototype for Designing an Object Oriented Scheme.
Proceedings of the Logic Program Synthesis and Transformation, 1991


  Loading...