Christine Solnon

115 papers A* 1A 20B 17C 5Journal 36Unranked 31

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