BibTeX records: Christine Solnon

download as .bib file

@article{DBLP:journals/jmc/RouquetteMS24,
  author       = {Lo{\"{\i}}c Rouquette and
                  Marine Minier and
                  Christine Solnon},
  title        = {Automatic boomerang attacks search on Rijndael},
  journal      = {J. Math. Cryptol.},
  volume       = {18},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.1515/jmc-2023-0027},
  doi          = {10.1515/JMC-2023-0027},
  timestamp    = {Wed, 20 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jmc/RouquetteMS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/FontaineDS23,
  author       = {Romain Fontaine and
                  Jilles Dibangoye and
                  Christine Solnon},
  title        = {Exact and anytime approach for solving the time dependent traveling
                  salesman problem with time windows},
  journal      = {Eur. J. Oper. Res.},
  volume       = {311},
  number       = {3},
  pages        = {833--844},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.ejor.2023.06.001},
  doi          = {10.1016/J.EJOR.2023.06.001},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eor/FontaineDS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/PengSS23,
  author       = {Xiao Peng and
                  Olivier Simonin and
                  Christine Solnon},
  title        = {Non-Crossing Anonymous {MAPF} for Tethered Robots},
  journal      = {J. Artif. Intell. Res.},
  volume       = {78},
  pages        = {357--384},
  year         = {2023},
  url          = {https://doi.org/10.1613/jair.1.14351},
  doi          = {10.1613/JAIR.1.14351},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/PengSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PengS23,
  author       = {Xiao Peng and
                  Christine Solnon},
  editor       = {Roland H. C. Yap},
  title        = {Using Canonical Codes to Efficiently Solve the Benzenoid Generation
                  Problem with Constraint Programming},
  booktitle    = {29th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
  series       = {LIPIcs},
  volume       = {280},
  pages        = {28:1--28:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2023.28},
  doi          = {10.4230/LIPICS.CP.2023.28},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PengS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indocrypt/DelobelDGRS23,
  author       = {Fran{\c{c}}ois Delobel and
                  Patrick Derbez and
                  Arthur Gontier and
                  Lo{\"{\i}}c Rouquette and
                  Christine Solnon},
  editor       = {Anupam Chattopadhyay and
                  Shivam Bhasin and
                  Stjepan Picek and
                  Chester Rebeiro},
  title        = {A CP-Based Automatic Tool for Instantiating Truncated Differential
                  Characteristics},
  booktitle    = {Progress in Cryptology - {INDOCRYPT} 2023 - 24th International Conference
                  on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14459},
  pages        = {247--268},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-56232-7\_12},
  doi          = {10.1007/978-3-031-56232-7\_12},
  timestamp    = {Mon, 08 Apr 2024 18:06:13 +0200},
  biburl       = {https://dblp.org/rec/conf/indocrypt/DelobelDGRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/DelobelDGRS23,
  author       = {Fran{\c{c}}ois Delobel and
                  Patrick Derbez and
                  Arthur Gontier and
                  Lo{\"{\i}}c Rouquette and
                  Christine Solnon},
  title        = {A CP-based Automatic Tool for Instantiating Truncated Differential
                  Characteristics - Extended Version},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1831},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1831},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/DelobelDGRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/africacrypt/RouquetteGMS22,
  author       = {Lo{\"{\i}}c Rouquette and
                  David G{\'{e}}rault and
                  Marine Minier and
                  Christine Solnon},
  editor       = {Lejla Batina and
                  Joan Daemen},
  title        = {And Rijndael?: Automatic Related-Key Differential Analysis of Rijndael},
  booktitle    = {Progress in Cryptology - {AFRICACRYPT} 2022: 13th International Conference
                  on Cryptology in Africa, {AFRICACRYPT} 2022, Fes, Morocco, July 18-20,
                  2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13503},
  pages        = {150--175},
  publisher    = {Springer Nature Switzerland},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17433-9\_7},
  doi          = {10.1007/978-3-031-17433-9\_7},
  timestamp    = {Sun, 10 Dec 2023 00:28:26 +0100},
  biburl       = {https://dblp.org/rec/conf/africacrypt/RouquetteGMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2022,
  editor       = {Christine Solnon},
  title        = {28th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {235},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-240-2},
  isbn         = {978-3-95977-240-2},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/RifkiGS21,
  author       = {Omar Rifki and
                  Thierry Garaix and
                  Christine Solnon},
  title        = {An asymptotic approximation of the traveling salesman problem with
                  uniform non-overlapping time windows},
  booktitle    = {17th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2021, Lyon, France, August 23-27, 2021},
  pages        = {983--988},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CASE49439.2021.9551615},
  doi          = {10.1109/CASE49439.2021.9551615},
  timestamp    = {Fri, 08 Oct 2021 19:47:37 +0200},
  biburl       = {https://dblp.org/rec/conf/case/RifkiGS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LibralessoDLS21,
  author       = {Luc Libralesso and
                  Fran{\c{c}}ois Delobel and
                  Pascal Lafourcade and
                  Christine Solnon},
  editor       = {Laurent D. Michel},
  title        = {Automatic Generation of Declarative Models For Differential Cryptanalysis},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {40:1--40:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.40},
  doi          = {10.4230/LIPICS.CP.2021.40},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LibralessoDLS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PengSS21,
  author       = {Xiao Peng and
                  Christine Solnon and
                  Olivier Simonin},
  editor       = {Laurent D. Michel},
  title        = {Solving the Non-Crossing {MAPF} with {CP}},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {45:1--45:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.45},
  doi          = {10.4230/LIPICS.CP.2021.45},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PengSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GeraultLMS20,
  author       = {David G{\'{e}}rault and
                  Pascal Lafourcade and
                  Marine Minier and
                  Christine Solnon},
  title        = {Computing {AES} related-key differential characteristics with constraint
                  programming},
  journal      = {Artif. Intell.},
  volume       = {278},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103183},
  doi          = {10.1016/J.ARTINT.2019.103183},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GeraultLMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ChabertS20,
  author       = {Maxime Chabert and
                  Christine Solnon},
  title        = {A Global Constraint for the Exact Cover Problem: Application to Conceptual
                  Clustering},
  journal      = {J. Artif. Intell. Res.},
  volume       = {67},
  pages        = {509--547},
  year         = {2020},
  url          = {https://doi.org/10.1613/jair.1.11870},
  doi          = {10.1613/JAIR.1.11870},
  timestamp    = {Wed, 18 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/ChabertS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/orf/SacramentoSP20,
  author       = {David Sacramento and
                  Christine Solnon and
                  David Pisinger},
  title        = {Constraint Programming and Local Search Heuristic: a Matheuristic
                  Approach for Routing and Scheduling Feeder Vessels in Multi-terminal
                  Ports},
  journal      = {Oper. Res. Forum},
  volume       = {1},
  number       = {4},
  year         = {2020},
  url          = {https://doi.org/10.1007/s43069-020-00036-x},
  doi          = {10.1007/S43069-020-00036-X},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/orf/SacramentoSP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RouquetteS20,
  author       = {Lo{\"{\i}}c Rouquette and
                  Christine Solnon},
  editor       = {Helmut Simonis},
  title        = {abstractXOR: {A} global constraint dedicated to differential cryptanalysis},
  booktitle    = {Principles and Practice of Constraint Programming - 26th International
                  Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12333},
  pages        = {566--584},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58475-7\_33},
  doi          = {10.1007/978-3-030-58475-7\_33},
  timestamp    = {Tue, 08 Sep 2020 19:28:09 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/RouquetteS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GroleazNS20,
  author       = {Lucas Groleaz and
                  Samba Ndojh Ndiaye and
                  Christine Solnon},
  editor       = {Helmut Simonis},
  title        = {Solving the Group Cumulative Scheduling Problem with {CPO} and {ACO}},
  booktitle    = {Principles and Practice of Constraint Programming - 26th International
                  Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12333},
  pages        = {620--636},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58475-7\_36},
  doi          = {10.1007/978-3-030-58475-7\_36},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GroleazNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/GroleazNS20,
  author       = {Lucas Groleaz and
                  Samba Ndojh Ndiaye and
                  Christine Solnon},
  editor       = {Carlos Artemio Coello Coello},
  title        = {{ACO} with automatic parameter selection for a scheduling problem
                  with a group cumulative constraint},
  booktitle    = {{GECCO} '20: Genetic and Evolutionary Computation Conference, Canc{\'{u}}n
                  Mexico, July 8-12, 2020},
  pages        = {13--21},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3377930.3389818},
  doi          = {10.1145/3377930.3389818},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gecco/GroleazNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/HaoS20,
  author       = {Jin{-}Kao Hao and
                  Christine Solnon},
  editor       = {Pierre Marquis and
                  Odile Papini and
                  Henri Prade},
  title        = {Meta-heuristics and Artificial Intelligence},
  booktitle    = {A Guided Tour of Artificial Intelligence Research: Volume {II:} {AI}
                  Algorithms},
  pages        = {27--52},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-06167-8\_2},
  doi          = {10.1007/978-3-030-06167-8\_2},
  timestamp    = {Tue, 06 Aug 2024 09:24:11 +0200},
  biburl       = {https://dblp.org/rec/books/sp/20/HaoS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gbrpr/Solnon19,
  author       = {Christine Solnon},
  editor       = {Donatello Conte and
                  Jean{-}Yves Ramel and
                  Pasquale Foggia},
  title        = {Experimental Evaluation of Subgraph Isomorphism Solvers},
  booktitle    = {Graph-Based Representations in Pattern Recognition - 12th {IAPR-TC-15}
                  International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11510},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-20081-7\_1},
  doi          = {10.1007/978-3-030-20081-7\_1},
  timestamp    = {Tue, 11 Jun 2019 11:22:38 +0200},
  biburl       = {https://dblp.org/rec/conf/gbrpr/Solnon19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03930,
  author       = {Michael Saint{-}Guillain and
                  Christine Solnon and
                  Yves Deville},
  title        = {Progressive Focus Search for the Static and Stochastic {VRPTW} with
                  both Random Customers and Reveal Times},
  journal      = {CoRR},
  volume       = {abs/1902.03930},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.03930},
  eprinttype    = {arXiv},
  eprint       = {1902.03930},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-03930.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/GeraultLMS18,
  author       = {David G{\'{e}}rault and
                  Pascal Lafourcade and
                  Marine Minier and
                  Christine Solnon},
  title        = {Revisiting {AES} related-key differential attacks with constraint
                  programming},
  journal      = {Inf. Process. Lett.},
  volume       = {139},
  pages        = {24--29},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ipl.2018.07.001},
  doi          = {10.1016/J.IPL.2018.07.001},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/GeraultLMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/McCreeshPST18,
  author       = {Ciaran McCreesh and
                  Patrick Prosser and
                  Christine Solnon and
                  James Trimble},
  title        = {When Subgraph Isomorphism is Really Hard, and Why This Matters for
                  Graph Databases},
  journal      = {J. Artif. Intell. Res.},
  volume       = {61},
  pages        = {723--759},
  year         = {2018},
  url          = {https://doi.org/10.1613/jair.5768},
  doi          = {10.1613/JAIR.5768},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/McCreeshPST18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HoffmannMNPRS018,
  author       = {Ruth Hoffmann and
                  Ciaran McCreesh and
                  Samba Ndojh Ndiaye and
                  Patrick Prosser and
                  Craig Reilly and
                  Christine Solnon and
                  James Trimble},
  editor       = {Willem Jan van Hoeve},
  title        = {Observations from Parallelising Three Maximum Common (Connected) Subgraph
                  Algorithms},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 15th International Conference, {CPAIOR} 2018,
                  Delft, The Netherlands, June 26-29, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10848},
  pages        = {298--315},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-93031-2\_22},
  doi          = {10.1007/978-3-319-93031-2\_22},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/HoffmannMNPRS018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/SalottiFBFS18,
  author       = {Julien Salotti and
                  Serge Fenet and
                  Romain Billot and
                  Nour{-}Eddin El Faouzi and
                  Christine Solnon},
  editor       = {Lefteri H. Tsoukalas and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Miltiadis Alamaniotis},
  title        = {Comparison of Traffic Forecasting Methods in Urban and Suburban Context},
  booktitle    = {{IEEE} 30th International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2018, 5-7 November 2018, Volos, Greece},
  pages        = {846--853},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICTAI.2018.00132},
  doi          = {10.1109/ICTAI.2018.00132},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/SalottiFBFS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChabertS17,
  author       = {Maxime Chabert and
                  Christine Solnon},
  editor       = {J. Christopher Beck},
  title        = {Constraint Programming for Multi-criteria Conceptual Clustering},
  booktitle    = {Principles and Practice of Constraint Programming - 23rd International
                  Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
                  1, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10416},
  pages        = {460--476},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66158-2\_30},
  doi          = {10.1007/978-3-319-66158-2\_30},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ChabertS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MinotNS17,
  author       = {Ma{\"{e}}l Minot and
                  Samba Ndojh Ndiaye and
                  Christine Solnon},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Combining {CP} and {ILP} in a Tree Decomposition of Bounded Height
                  for the Sum Colouring Problem},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {359--375},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_29},
  doi          = {10.1007/978-3-319-59776-8\_29},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/MinotNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/Saint-GuillainS17,
  author       = {Michael Saint{-}Guillain and
                  Christine Solnon and
                  Yves Deville},
  editor       = {Giovanni Squillero and
                  Kevin Sim},
  title        = {The Static and Stochastic {VRP} with Time Windows and both Random
                  Customers and Reveal Times},
  booktitle    = {Applications of Evolutionary Computation - 20th European Conference,
                  EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10200},
  pages        = {110--127},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-55792-2\_8},
  doi          = {10.1007/978-3-319-55792-2\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/Saint-GuillainS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gbrpr/DevilleFJS17,
  author       = {Romain Deville and
                  {\'{E}}lisa Fromont and
                  Baptiste Jeudy and
                  Christine Solnon},
  editor       = {Pasquale Foggia and
                  Cheng{-}Lin Liu and
                  Mario Vento},
  title        = {Mining Frequent Patterns in 2D+t Grid Graphs for Cellular Automata
                  Analysis},
  booktitle    = {Graph-Based Representations in Pattern Recognition - 11th {IAPR-TC-15}
                  International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10310},
  pages        = {177--186},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-58961-9\_16},
  doi          = {10.1007/978-3-319-58961-9\_16},
  timestamp    = {Fri, 23 Aug 2024 07:25:23 +0200},
  biburl       = {https://dblp.org/rec/conf/gbrpr/DevilleFJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GeraultMS17,
  author       = {David G{\'{e}}rault and
                  Marine Minier and
                  Christine Solnon},
  editor       = {Carles Sierra},
  title        = {Using Constraint Programming to solve a Cryptanalytic Problem},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {4844--4848},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/679},
  doi          = {10.24963/IJCAI.2017/679},
  timestamp    = {Mon, 05 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GeraultMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-03151,
  author       = {Michael Saint{-}Guillain and
                  Christine Solnon and
                  Yves Deville},
  title        = {The Static and Stochastic {VRPTW} with both random Customers and Reveal
                  Times: algorithms and recourse strategies},
  journal      = {CoRR},
  volume       = {abs/1708.03151},
  year         = {2017},
  url          = {http://arxiv.org/abs/1708.03151},
  eprinttype    = {arXiv},
  eprint       = {1708.03151},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1708-03151.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GeraultLMS17,
  author       = {David G{\'{e}}rault and
                  Pascal Lafourcade and
                  Marine Minier and
                  Christine Solnon},
  title        = {Revisiting {AES} Related-Key Differential Attacks with Constraint
                  Programming},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {139},
  year         = {2017},
  url          = {http://eprint.iacr.org/2017/139},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/GeraultLMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/McCreeshNPS16,
  author       = {Ciaran McCreesh and
                  Samba Ndojh Ndiaye and
                  Patrick Prosser and
                  Christine Solnon},
  editor       = {Michel Rueher},
  title        = {Clique and Constraint Models for Maximum Common (Connected) Subgraph
                  Problems},
  booktitle    = {Principles and Practice of Constraint Programming - 22nd International
                  Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9892},
  pages        = {350--368},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44953-1\_23},
  doi          = {10.1007/978-3-319-44953-1\_23},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/McCreeshNPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GeraultMS16,
  author       = {David G{\'{e}}rault and
                  Marine Minier and
                  Christine Solnon},
  editor       = {Michel Rueher},
  title        = {Constraint Programming Models for Chosen Key Differential Cryptanalysis},
  booktitle    = {Principles and Practice of Constraint Programming - 22nd International
                  Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9892},
  pages        = {584--601},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44953-1\_37},
  doi          = {10.1007/978-3-319-44953-1\_37},
  timestamp    = {Mon, 05 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GeraultMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lion/KotthoffMS16,
  author       = {Lars Kotthoff and
                  Ciaran McCreesh and
                  Christine Solnon},
  editor       = {Paola Festa and
                  Meinolf Sellmann and
                  Joaquin Vanschoren},
  title        = {Portfolios of Subgraph Isomorphism Algorithms},
  booktitle    = {Learning and Intelligent Optimization - 10th International Conference,
                  {LION} 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10079},
  pages        = {107--122},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-50349-3\_8},
  doi          = {10.1007/978-3-319-50349-3\_8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lion/KotthoffMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sspr/DevilleFJS16,
  author       = {Romain Deville and
                  {\'{E}}lisa Fromont and
                  Baptiste Jeudy and
                  Christine Solnon},
  editor       = {Antonio Robles{-}Kelly and
                  Marco Loog and
                  Battista Biggio and
                  Francisco Escolano and
                  Richard C. Wilson},
  title        = {GriMa: {A} Grid Mining Algorithm for Bag-of-Grid-Based Classification},
  booktitle    = {Structural, Syntactic, and Statistical Pattern Recognition - Joint
                  {IAPR} International Workshop, {S+SSPR} 2016, M{\'{e}}rida, Mexico,
                  November 29 - December 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10029},
  pages        = {132--142},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-49055-7\_12},
  doi          = {10.1007/978-3-319-49055-7\_12},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/sspr/DevilleFJS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pr/SolnonDHJ15,
  author       = {Christine Solnon and
                  Guillaume Damiand and
                  Colin de la Higuera and
                  Jean{-}Christophe Janodet},
  title        = {On the complexity of submap isomorphism and maximum common submap
                  problems},
  journal      = {Pattern Recognit.},
  volume       = {48},
  number       = {2},
  pages        = {302--316},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.patcog.2014.05.019},
  doi          = {10.1016/J.PATCOG.2014.05.019},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pr/SolnonDHJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/swarm/DorigoBGHOSS15,
  author       = {Marco Dorigo and
                  Mauro Birattari and
                  Simon Garnier and
                  Heiko Hamann and
                  Marco Antonio Montes de Oca and
                  Christine Solnon and
                  Thomas St{\"{u}}tzle},
  title        = {{ANTS} 2014 special issue: Editorial},
  journal      = {Swarm Intell.},
  volume       = {9},
  number       = {2-3},
  pages        = {71--73},
  year         = {2015},
  url          = {https://doi.org/10.1007/s11721-015-0111-0},
  doi          = {10.1007/S11721-015-0111-0},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/swarm/DorigoBGHOSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MelgarejoLS15,
  author       = {Pen{\'{e}}lope Aguiar{-}Melgarejo and
                  Philippe Laborie and
                  Christine Solnon},
  editor       = {Laurent Michel},
  title        = {A Time-Dependent No-Overlap Constraint: Application to Urban Delivery
                  Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 12th International Conference, {CPAIOR} 2015, Barcelona, Spain,
                  May 18-22, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9075},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-18008-3\_1},
  doi          = {10.1007/978-3-319-18008-3\_1},
  timestamp    = {Wed, 04 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/MelgarejoLS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Saint-GuillainD15,
  author       = {Michael Saint{-}Guillain and
                  Yves Deville and
                  Christine Solnon},
  editor       = {Laurent Michel},
  title        = {A Multistage Stochastic Programming Approach to the Dynamic and Stochastic
                  {VRPTW}},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 12th International Conference, {CPAIOR} 2015, Barcelona, Spain,
                  May 18-22, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9075},
  pages        = {357--374},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-18008-3\_25},
  doi          = {10.1007/978-3-319-18008-3\_25},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Saint-GuillainD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MinotNS15,
  author       = {Ma{\"{e}}l Minot and
                  Samba Ndojh Ndiaye and
                  Christine Solnon},
  title        = {A Comparison of Decomposition Methods for the Maximum Common Subgraph
                  Problem},
  booktitle    = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
  pages        = {461--468},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICTAI.2015.75},
  doi          = {10.1109/ICTAI.2015.75},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/MinotNS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Saint-GuillainD15,
  author       = {Michael Saint{-}Guillain and
                  Yves Deville and
                  Christine Solnon},
  title        = {A Multistage Stochastic Programming Approach to the Dynamic and Stochastic
                  {VRPTW} - Extended version},
  journal      = {CoRR},
  volume       = {abs/1502.01972},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.01972},
  eprinttype    = {arXiv},
  eprint       = {1502.01972},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Saint-GuillainD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/GayFMSS14,
  author       = {Steven Gay and
                  Fran{\c{c}}ois Fages and
                  Thierry Martinez and
                  Sylvain Soliman and
                  Christine Solnon},
  title        = {On the subgraph epimorphism problem},
  journal      = {Discret. Appl. Math.},
  volume       = {162},
  pages        = {214--228},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.dam.2013.08.008},
  doi          = {10.1016/J.DAM.2013.08.008},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/GayFMSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BletNS14,
  author       = {Lo{\"{\i}}c Blet and
                  Samba Ndojh Ndiaye and
                  Christine Solnon},
  editor       = {Barry O'Sullivan},
  title        = {Experimental Comparison of {BTD} and Intelligent Backtracking: Towards
                  an Automatic Per-instance Algorithm Selector},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {190--206},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_16},
  doi          = {10.1007/978-3-319-10428-7\_16},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BletNS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dgci/DamiandRS14,
  author       = {Guillaume Damiand and
                  Tristan Roussillon and
                  Christine Solnon},
  editor       = {Elena Barcucci and
                  Andrea Frosini and
                  Simone Rinaldi},
  title        = {2D Topological Map Isomorphism for Multi-Label Simple Transformation
                  Definition},
  booktitle    = {Discrete Geometry for Computer Imagery - 18th {IAPR} International
                  Conference, {DGCI} 2014, Siena, Italy, September 10-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8668},
  pages        = {39--50},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09955-2\_4},
  doi          = {10.1007/978-3-319-09955-2\_4},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/dgci/DamiandRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/antsw/2014,
  editor       = {Marco Dorigo and
                  Mauro Birattari and
                  Simon Garnier and
                  Heiko Hamann and
                  Marco Antonio Montes de Oca and
                  Christine Solnon and
                  Thomas St{\"{u}}tzle},
  title        = {Swarm Intelligence - 9th International Conference, {ANTS} 2014, Brussels,
                  Belgium, September 10-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8667},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09952-1},
  doi          = {10.1007/978-3-319-09952-1},
  isbn         = {978-3-319-09951-4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/antsw/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/FagesGS13,
  author       = {Fran{\c{c}}ois Fages and
                  Simon de Givry and
                  Christine Solnon},
  title        = {Preface},
  journal      = {{RAIRO} Oper. Res.},
  volume       = {47},
  number       = {2},
  pages        = {89--90},
  year         = {2013},
  url          = {https://doi.org/10.1051/ro/2013029},
  doi          = {10.1051/RO/2013029},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rairo/FagesGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HigueraJSDS13,
  author       = {Colin de la Higuera and
                  Jean{-}Christophe Janodet and
                  {\'{E}}milie Samuel and
                  Guillaume Damiand and
                  Christine Solnon},
  title        = {Polynomial algorithms for open plane graph and subgraph isomorphisms},
  journal      = {Theor. Comput. Sci.},
  volume       = {498},
  pages        = {76--99},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.tcs.2013.05.026},
  doi          = {10.1016/J.TCS.2013.05.026},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HigueraJSDS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gbrpr/SolnonDHJ13,
  author       = {Christine Solnon and
                  Guillaume Damiand and
                  Colin de la Higuera and
                  Jean{-}Christophe Janodet},
  editor       = {Walter G. Kropatsch and
                  Nicole M. Artner and
                  Yll Haxhimusa and
                  Xiaoyi Jiang},
  title        = {On the Complexity of Submap Isomorphism},
  booktitle    = {Graph-Based Representations in Pattern Recognition - 9th {IAPR-TC-15}
                  International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7877},
  pages        = {21--30},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38221-5\_3},
  doi          = {10.1007/978-3-642-38221-5\_3},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gbrpr/SolnonDHJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gbrpr/CombierDS13,
  author       = {Camille Combier and
                  Guillaume Damiand and
                  Christine Solnon},
  editor       = {Walter G. Kropatsch and
                  Nicole M. Artner and
                  Yll Haxhimusa and
                  Xiaoyi Jiang},
  title        = {Map Edit Distance vs. Graph Edit Distance for Matching Images},
  booktitle    = {Graph-Based Representations in Pattern Recognition - 9th {IAPR-TC-15}
                  International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7877},
  pages        = {152--161},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38221-5\_16},
  doi          = {10.1007/978-3-642-38221-5\_16},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gbrpr/CombierDS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/CombierDS12,
  author       = {Camille Combier and
                  Guillaume Damiand and
                  Christine Solnon},
  title        = {From maximum common submaps to edit distances of generalized maps},
  journal      = {Pattern Recognit. Lett.},
  volume       = {33},
  number       = {15},
  pages        = {2020--2028},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.patrec.2012.04.006},
  doi          = {10.1016/J.PATREC.2012.04.006},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/prl/CombierDS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/Saint-MarcqDSC12,
  author       = {Vianney le Cl{\'{e}}ment de Saint{-}Marcq and
                  Yves Deville and
                  Christine Solnon and
                  Pierre{-}Antoine Champin},
  editor       = {Elena Simperl and
                  Philipp Cimiano and
                  Axel Polleres and
                  {\'{O}}scar Corcho and
                  Valentina Presutti},
  title        = {Castor: {A} Constraint-Based {SPARQL} Engine with Active Filter Processing},
  booktitle    = {The Semantic Web: Research and Applications - 9th Extended Semantic
                  Web Conference, {ESWC} 2012, Heraklion, Crete, Greece, May 27-31,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7295},
  pages        = {391--405},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30284-8\_33},
  doi          = {10.1007/978-3-642-30284-8\_33},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/esws/Saint-MarcqDSC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cviu/DamiandSHJS11,
  author       = {Guillaume Damiand and
                  Christine Solnon and
                  Colin de la Higuera and
                  Jean{-}Christophe Janodet and
                  {\'{E}}milie Samuel},
  title        = {Polynomial algorithms for subisomorphism of nD open combinatorial
                  maps},
  journal      = {Comput. Vis. Image Underst.},
  volume       = {115},
  number       = {7},
  pages        = {996--1010},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.cviu.2010.12.013},
  doi          = {10.1016/J.CVIU.2010.12.013},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cviu/DamiandSHJS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GosselinDS11,
  author       = {St{\'{e}}phane Gosselin and
                  Guillaume Damiand and
                  Christine Solnon},
  title        = {Efficient search of combinatorial maps using signatures},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {15},
  pages        = {1392--1405},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2010.10.029},
  doi          = {10.1016/J.TCS.2010.10.029},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GosselinDS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Saint-MarcqDS11,
  author       = {Vianney le Cl{\'{e}}ment de Saint{-}Marcq and
                  Yves Deville and
                  Christine Solnon},
  editor       = {Jimmy Ho{-}Man Lee},
  title        = {An Efficient Light Solver for Querying the Semantic Web},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
                  International Conference, {CP} 2011, Perugia, Italy, September 12-16,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6876},
  pages        = {145--159},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23786-7\_13},
  doi          = {10.1007/978-3-642-23786-7\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Saint-MarcqDS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NdiayeS11,
  author       = {Samba Ndojh Ndiaye and
                  Christine Solnon},
  editor       = {Jimmy Ho{-}Man Lee},
  title        = {{CP} Models for Maximum Common Subgraph Problems},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
                  International Conference, {CP} 2011, Perugia, Italy, September 12-16,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6876},
  pages        = {637--644},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23786-7\_48},
  doi          = {10.1007/978-3-642-23786-7\_48},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/NdiayeS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/GosselinDS11,
  author       = {St{\'{e}}phane Gosselin and
                  Guillaume Damiand and
                  Christine Solnon},
  editor       = {Raffaele Giancarlo and
                  Giovanni Manzini},
  title        = {Frequent Submap Discovery},
  booktitle    = {Combinatorial Pattern Matching - 22nd Annual Symposium, {CPM} 2011,
                  Palermo, Italy, June 27-29, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6661},
  pages        = {429--440},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21458-5\_36},
  doi          = {10.1007/978-3-642-21458-5\_36},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpm/GosselinDS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gbrpr/CombierDS11,
  author       = {Camille Combier and
                  Guillaume Damiand and
                  Christine Solnon},
  editor       = {Xiaoyi Jiang and
                  Miquel Ferrer and
                  Andrea Torsello},
  title        = {Measuring the Distance of Generalized Maps},
  booktitle    = {Graph-Based Representations in Pattern Recognition - 8th {IAPR-TC-15}
                  International Workshop, GbRPR 2011, M{\"{u}}nster, Germany, May
                  18-20, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6658},
  pages        = {82--91},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20844-7\_9},
  doi          = {10.1007/978-3-642-20844-7\_9},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gbrpr/CombierDS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Solnon10,
  author       = {Christine Solnon},
  title        = {AllDifferent-based filtering for subgraph isomorphism},
  journal      = {Artif. Intell.},
  volume       = {174},
  number       = {12-13},
  pages        = {850--864},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.artint.2010.05.002},
  doi          = {10.1016/J.ARTINT.2010.05.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Solnon10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ZampelliDS10,
  author       = {St{\'{e}}phane Zampelli and
                  Yves Deville and
                  Christine Solnon},
  title        = {Solving subgraph isomorphism problems with constraint programming},
  journal      = {Constraints An Int. J.},
  volume       = {15},
  number       = {3},
  pages        = {327--353},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10601-009-9074-3},
  doi          = {10.1007/S10601-009-9074-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/ZampelliDS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KhichaneAS10,
  author       = {Madjid Khichane and
                  Patrick Albert and
                  Christine Solnon},
  editor       = {Andrea Lodi and
                  Michela Milano and
                  Paolo Toth},
  title        = {Strong Combination of Ant Colony Optimization with Constraint Programming
                  Optimization},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 7th International Conference,
                  {CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6140},
  pages        = {232--245},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13520-0\_26},
  doi          = {10.1007/978-3-642-13520-0\_26},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KhichaneAS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbmi/MouretSW09,
  author       = {Marc Mouret and
                  Christine Solnon and
                  Christian Wolf},
  editor       = {Stefanos D. Kollias and
                  Yannis Avrithis},
  title        = {Classification of Images Based on Hidden Markov Models},
  booktitle    = {Seventh International Workshop on Content-Based Multimedia Indexing,
                  {CBMI} '09, Chania, Crete, Greece, June 3-5, 2009},
  pages        = {169--174},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/CBMI.2009.22},
  doi          = {10.1109/CBMI.2009.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbmi/MouretSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ClementDS09,
  author       = {Vianney le Cl{\'{e}}ment de Saint{-}Marcq and
                  Yves Deville and
                  Christine Solnon},
  editor       = {Ian P. Gent},
  title        = {Constraint-Based Graph Matching},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
                  International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
                  2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5732},
  pages        = {274--288},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04244-7\_23},
  doi          = {10.1007/978-3-642-04244-7\_23},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ClementDS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gbrpr/DamiandHJSS09,
  author       = {Guillaume Damiand and
                  Colin de la Higuera and
                  Jean{-}Christophe Janodet and
                  {\'{E}}milie Samuel and
                  Christine Solnon},
  editor       = {Andrea Torsello and
                  Francisco Escolano and
                  Luc Brun},
  title        = {A Polynomial Algorithm for Submap Isomorphism},
  booktitle    = {Graph-Based Representations in Pattern Recognition, 7th {IAPR-TC-15}
                  International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5534},
  pages        = {102--112},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02124-4\_11},
  doi          = {10.1007/978-3-642-02124-4\_11},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gbrpr/DamiandHJSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcia/GosselinDS09,
  author       = {St{\'{e}}phane Gosselin and
                  Guillaume Damiand and
                  Christine Solnon},
  editor       = {Petra Wiederhold and
                  Reneta P. Barneva},
  title        = {Signatures of Combinatorial Maps},
  booktitle    = {Combinatorial Image Analysis, 13th International Workshop, {IWCIA}
                  2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5852},
  pages        = {370--382},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10210-3\_29},
  doi          = {10.1007/978-3-642-10210-3\_29},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwcia/GosselinDS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lion/KhichaneAS09,
  author       = {Madjid Khichane and
                  Patrick Albert and
                  Christine Solnon},
  editor       = {Thomas St{\"{u}}tzle},
  title        = {An ACO-Based Reactive Framework for Ant Colony Optimization: First
                  Experiments on Constraint Satisfaction Problems},
  booktitle    = {Learning and Intelligent Optimization, Third International Conference,
                  {LION} 3, Trento, Italy, January 14-18, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5851},
  pages        = {119--133},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11169-3\_9},
  doi          = {10.1007/978-3-642-11169-3\_9},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/lion/KhichaneAS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0910-1404,
  editor       = {Yves Deville and
                  Christine Solnon},
  title        = {Proceedings 6th International Workshop on Local Search Techniques
                  in Constraint Satisfaction, {LSCS} 2009, Lisbon, Portugal, 20 September
                  2009},
  series       = {{EPTCS}},
  volume       = {5},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.5},
  doi          = {10.4204/EPTCS.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-1404.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/SorlinS08,
  author       = {S{\'{e}}bastien Sorlin and
                  Christine Solnon},
  title        = {A parametric filtering algorithm for the graph isomorphism problem},
  journal      = {Constraints An Int. J.},
  volume       = {13},
  number       = {4},
  pages        = {518--537},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10601-008-9044-1},
  doi          = {10.1007/S10601-008-9044-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/SorlinS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/SolnonCNA08,
  author       = {Christine Solnon and
                  Van{-}Dat Cung and
                  Alain Nguyen and
                  Christian Artigues},
  title        = {The car sequencing problem: Overview of state-of-the-art methods and
                  industrial case-study of the ROADEF'2005 challenge problem},
  journal      = {Eur. J. Oper. Res.},
  volume       = {191},
  number       = {3},
  pages        = {912--927},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.ejor.2007.04.033},
  doi          = {10.1016/J.EJOR.2007.04.033},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/SolnonCNA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/Solnon08,
  author       = {Christine Solnon},
  title        = {Combining two pheromone structures for solving the car sequencing
                  problem with Ant Colony Optimization},
  journal      = {Eur. J. Oper. Res.},
  volume       = {191},
  number       = {3},
  pages        = {1043--1055},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.ejor.2007.04.037},
  doi          = {10.1016/J.EJOR.2007.04.037},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/Solnon08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/antsw/KhichaneAS08,
  author       = {Madjid Khichane and
                  Patrick Albert and
                  Christine Solnon},
  editor       = {Marco Dorigo and
                  Mauro Birattari and
                  Christian Blum and
                  Maurice Clerc and
                  Thomas St{\"{u}}tzle and
                  Alan F. T. Winfield},
  title        = {Integration of {ACO} in a Constraint Programming Language},
  booktitle    = {Ant Colony Optimization and Swarm Intelligence, 6th International
                  Conference, {ANTS} 2008, Brussels, Belgium, September 22-24, 2008.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5217},
  pages        = {84--95},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87527-7\_8},
  doi          = {10.1007/978-3-540-87527-7\_8},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/antsw/KhichaneAS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KhichaneAS08,
  author       = {Madjid Khichane and
                  Patrick Albert and
                  Christine Solnon},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {{CP} with {ACO}},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {328--332},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_32},
  doi          = {10.1007/978-3-540-68155-7\_32},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KhichaneAS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/LenneSSTB08,
  author       = {Renaud Lenne and
                  Christine Solnon and
                  Thomas St{\"{u}}tzle and
                  Eric Tannier and
                  Mauro Birattari},
  editor       = {Jano I. van Hemert and
                  Carlos Cotta},
  title        = {Reactive Stochastic Local Search Algorithms for the Genomic Median
                  Problem},
  booktitle    = {Evolutionary Computation in Combinatorial Optimization, 8th European
                  Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4972},
  pages        = {266--276},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78604-7\_23},
  doi          = {10.1007/978-3-540-78604-7\_23},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/LenneSSTB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/AlayaSG07,
  author       = {In{\`{e}}s Alaya and
                  Christine Solnon and
                  Khaled Gh{\'{e}}dira},
  title        = {Optimisation par colonies de fourmis pour le probl{\`{e}}me du sac
                  {\`{a}} dos multidimensionnel},
  journal      = {Tech. Sci. Informatiques},
  volume       = {26},
  number       = {3-4},
  pages        = {371--390},
  year         = {2007},
  url          = {https://doi.org/10.3166/tsi.26.371-390},
  doi          = {10.3166/TSI.26.371-390},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/AlayaSG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZampelliDSSD07,
  author       = {St{\'{e}}phane Zampelli and
                  Yves Deville and
                  Christine Solnon and
                  S{\'{e}}bastien Sorlin and
                  Pierre Dupont},
  editor       = {Christian Bessiere},
  title        = {Filtering for Subgraph Isomorphism},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
                  International Conference, {CP} 2007, Providence, RI, USA, September
                  23-27, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4741},
  pages        = {728--742},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74970-7\_51},
  doi          = {10.1007/978-3-540-74970-7\_51},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ZampelliDSSD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gbrpr/SolnonJ07,
  author       = {Christine Solnon and
                  Jean{-}Michel Jolion},
  editor       = {Francisco Escolano and
                  Mario Vento},
  title        = {Generalized vs Set Median Strings for Histogram-Based Distances: Algorithms
                  and Classification Results in the Image Domain},
  booktitle    = {Graph-Based Representations in Pattern Recognition, 6th {IAPR-TC-15}
                  International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4538},
  pages        = {404--414},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72903-7\_37},
  doi          = {10.1007/978-3-540-72903-7\_37},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/gbrpr/SolnonJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AlayaSG07,
  author       = {In{\`{e}}s Alaya and
                  Christine Solnon and
                  Khaled Gh{\'{e}}dira},
  title        = {Ant Colony Optimization for Multi-Objective Optimization Problems},
  booktitle    = {19th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 1},
  pages        = {450--457},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICTAI.2007.108},
  doi          = {10.1109/ICTAI.2007.108},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/AlayaSG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/SorlinSJ07,
  author       = {S{\'{e}}bastien Sorlin and
                  Christine Solnon and
                  Jean{-}Michel Jolion},
  editor       = {Abraham Kandel and
                  Horst Bunke and
                  Mark Last},
  title        = {A Generic Graph Distance Measure Based on Multivalent Matchings},
  booktitle    = {Applied Graph Theory in Computer Vision and Pattern Recognition},
  series       = {Studies in Computational Intelligence},
  volume       = {52},
  pages        = {151--181},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-68020-8\_6},
  doi          = {10.1007/978-3-540-68020-8\_6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/sci/SorlinSJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/SolnonF06,
  author       = {Christine Solnon and
                  Serge Fenet},
  title        = {A study of {ACO} capabilities for solving the maximum clique problem},
  journal      = {J. Heuristics},
  volume       = {12},
  number       = {3},
  pages        = {155--180},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10732-006-4295-8},
  doi          = {10.1007/S10732-006-4295-8},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/heuristics/SolnonF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/FagesJS06,
  author       = {Fran{\c{c}}ois Fages and
                  Narendra Jussien and
                  Christine Solnon},
  title        = {Editorial},
  journal      = {{RAIRO} Oper. Res.},
  volume       = {40},
  number       = {4},
  pages        = {325--326},
  year         = {2006},
  url          = {https://doi.org/10.1051/ro:2007002},
  doi          = {10.1051/RO:2007002},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rairo/FagesJS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/SammoudSSG06,
  author       = {Olfa Sammoud and
                  S{\'{e}}bastien Sorlin and
                  Christine Solnon and
                  Khaled Gh{\'{e}}dira},
  editor       = {Jens Gottlieb and
                  G{\"{u}}nther R. Raidl},
  title        = {A Comparative Study of Ant Colony Optimization and Reactive Search
                  for Graph Matching Problems},
  booktitle    = {Evolutionary Computation in Combinatorial Optimization, 6th European
                  Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3906},
  pages        = {234--246},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11730095\_20},
  doi          = {10.1007/11730095\_20},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/SammoudSSG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Solnon05,
  author       = {Christine Solnon},
  title        = {Contributions {\`{a}} la r{\'{e}}solution pratique de probl{\`{e}}mes
                  combinatoires: des fourmis et des graphes},
  year         = {2005},
  url          = {https://tel.archives-ouvertes.fr/hal-01470067},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/hal/Solnon05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/ZepedaONSS05,
  author       = {Claudia Zepeda and
                  Mauricio Osorio and
                  Juan Carlos Nieves and
                  Christine Solnon and
                  David Sol},
  editor       = {Marina De Vos and
                  Alessandro Provetti},
  title        = {Applications of Preferences using Answer Set Programming},
  booktitle    = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
                  of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {142},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-142/page318.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/asp/ZepedaONSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/SammoudSG05,
  author       = {Olfa Sammoud and
                  Christine Solnon and
                  Khaled Gh{\'{e}}dira},
  editor       = {G{\"{u}}nther R. Raidl and
                  Jens Gottlieb},
  title        = {Ant Algorithm for the Graph Matching Problem},
  booktitle    = {Evolutionary Computation in Combinatorial Optimization, 5th European
                  Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3448},
  pages        = {213--223},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31996-2\_20},
  doi          = {10.1007/978-3-540-31996-2\_20},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/SammoudSG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gbrpr/SorlinS05,
  author       = {S{\'{e}}bastien Sorlin and
                  Christine Solnon},
  editor       = {Luc Brun and
                  Mario Vento},
  title        = {Reactive Tabu Search for Measuring Graph Similarity},
  booktitle    = {Graph-Based Representations in Pattern Recognition, 5th {IAPR} InternationalWorkshop,
                  GbRPR 2005, Poitiers, France, April 11-13, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3434},
  pages        = {172--182},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31988-7\_16},
  doi          = {10.1007/978-3-540-31988-7\_16},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/gbrpr/SorlinS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SorlinS04,
  author       = {S{\'{e}}bastien Sorlin and
                  Christine Solnon},
  editor       = {Jean{-}Charles R{\'{e}}gin and
                  Michel Rueher},
  title        = {A Global Constraint for Graph Isomorphism Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, First International Conference,
                  {CPAIOR} 2004, Nice, France, April 20-22, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3011},
  pages        = {287--302},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24664-0\_20},
  doi          = {10.1007/978-3-540-24664-0\_20},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/SorlinS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/HemertS04,
  author       = {Jano I. van Hemert and
                  Christine Solnon},
  editor       = {Jens Gottlieb and
                  G{\"{u}}nther R. Raidl},
  title        = {A Study into Ant Colony Optimisation, Evolutionary Computation and
                  Constraint Programming on Binary Constraint Satisfaction Problems},
  booktitle    = {Evolutionary Computation in Combinatorial Optimization, 4th European
                  Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3004},
  pages        = {114--123},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24652-7\_12},
  doi          = {10.1007/978-3-540-24652-7\_12},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/evoW/HemertS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/SorlinS04,
  author       = {S{\'{e}}bastien Sorlin and
                  Christine Solnon},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Une contrainte globale pour le probl{\`{e}}me de l'isomorphisme de
                  graphes},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Fri, 25 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/SorlinS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/ZepedaSS04,
  author       = {Claudia Zepeda and
                  Christine Solnon and
                  David Sol},
  editor       = {Mauricio Osorio and
                  Alessandro Provetti},
  title        = {Planning Operation: An Extensio'n of a Geographical Information System},
  booktitle    = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of
                  the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso,
                  Mexico City, {D.F} , Mexico, April 26th 2004},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {92},
  publisher    = {CEUR-WS.org},
  year         = {2004},
  url          = {https://ceur-ws.org/Vol-92/claudia.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/ZepedaSS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Solnon03,
  author       = {Christine Solnon},
  title        = {Un cours "{\'{e}}lectronique" sur la programmation
                  par contraintes},
  journal      = {Tech. Sci. Informatiques},
  volume       = {22},
  number       = {1},
  pages        = {77--80},
  year         = {2003},
  url          = {http://tsi.revuesonline.com/article.jsp?articleId=4670},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/Solnon03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/FenetS03,
  author       = {Serge Fenet and
                  Christine Solnon},
  editor       = {G{\"{u}}nther R. Raidl and
                  Jean{-}Arcady Meyer and
                  Martin Middendorf and
                  Stefano Cagnoni and
                  Juan J. Romero Cardalda and
                  David Corne and
                  Jens Gottlieb and
                  Agn{\`{e}}s Guillot and
                  Emma Hart and
                  Colin G. Johnson and
                  Elena Marchiori},
  title        = {Searching for Maximum Cliques with Ant Colony Optimization},
  booktitle    = {Applications of Evolutionary Computing, EvoWorkshop 2003: EvoBIO,
                  EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April
                  14-16, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2611},
  pages        = {236--245},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36605-9\_22},
  doi          = {10.1007/3-540-36605-9\_22},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/FenetS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/GottliebPS03,
  author       = {Jens Gottlieb and
                  Markus Puchta and
                  Christine Solnon},
  editor       = {G{\"{u}}nther R. Raidl and
                  Jean{-}Arcady Meyer and
                  Martin Middendorf and
                  Stefano Cagnoni and
                  Juan J. Romero Cardalda and
                  David Corne and
                  Jens Gottlieb and
                  Agn{\`{e}}s Guillot and
                  Emma Hart and
                  Colin G. Johnson and
                  Elena Marchiori},
  title        = {A Study of Greedy, Local Search, and Ant Colony Optimization Approaches
                  for Car Sequencing Problems},
  booktitle    = {Applications of Evolutionary Computing, EvoWorkshop 2003: EvoBIO,
                  EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April
                  14-16, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2611},
  pages        = {246--257},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36605-9\_23},
  doi          = {10.1007/3-540-36605-9\_23},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/GottliebPS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/ChampinS03,
  author       = {Pierre{-}Antoine Champin and
                  Christine Solnon},
  editor       = {Kevin D. Ashley and
                  Derek G. Bridge},
  title        = {Measuring the Similarity of Labeled Graphs},
  booktitle    = {Case-Based Reasoning Research and Development, 5th International Conference
                  on Case-Based Reasoning, {ICCBR} 2003, Trondheim, Norway, June 23-26,
                  2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2689},
  pages        = {80--95},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-45006-8\_9},
  doi          = {10.1007/3-540-45006-8\_9},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/iccbr/ChampinS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Solnon03,
  author       = {Christine Solnon},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Un cours "{\'{e}}lectronique" sur la programmation
                  par contraintes},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {77--80},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Mon, 24 May 2004 15:53:59 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Solnon03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tec/Solnon02,
  author       = {Christine Solnon},
  title        = {Ants can solve constraint satisfaction problems},
  journal      = {{IEEE} Trans. Evol. Comput.},
  volume       = {6},
  number       = {4},
  pages        = {347--357},
  year         = {2002},
  url          = {https://doi.org/10.1109/TEVC.2002.802449},
  doi          = {10.1109/TEVC.2002.802449},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tec/Solnon02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/Solnon02,
  author       = {Christine Solnon},
  editor       = {Stefano Cagnoni and
                  Jens Gottlieb and
                  Emma Hart and
                  Martin Middendorf and
                  G{\"{u}}nther R. Raidl},
  title        = {Boosting {ACO} with a Preprocessing Step},
  booktitle    = {Applications of Evolutionary Computing, EvoWorkshops 2002: EvoCOP,
                  EvoIASP, EvoSTIM/EvoPLAN, Kinsale, Ireland, April 3-4, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2279},
  pages        = {163--172},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46004-7\_17},
  doi          = {10.1007/3-540-46004-7\_17},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/Solnon02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Solnon01,
  author       = {Christine Solnon},
  editor       = {Toby Walsh},
  title        = {Boosting Local Search with Artificial Ants},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
                  International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
                  December 1, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2239},
  pages        = {620--624},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45578-7\_51},
  doi          = {10.1007/3-540-45578-7\_51},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Solnon01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Solnon00,
  author       = {Christine Solnon},
  editor       = {Werner Horn},
  title        = {Solving Permutation Constraint Satisfaction Problems with Artificial
                  Ants},
  booktitle    = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
                  Intelligence, Berlin, Germany, August 20-25, 2000},
  pages        = {118--122},
  publisher    = {{IOS} Press},
  year         = {2000},
  timestamp    = {Mon, 30 Jun 2003 10:55:01 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Solnon00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Solnon00,
  author       = {Christine Solnon},
  editor       = {Toura{\"{\i}}vane},
  title        = {Ant-P-Solveur: un solveur de contraintes {\`{a}} base de fourmis artificielles},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {189--204},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 15:53:50 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Solnon00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/RueherS97,
  author       = {Michel Rueher and
                  Christine Solnon},
  title        = {Concurrent Cooperating Solvers over Reals},
  journal      = {Reliab. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {325--333},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1009939327927},
  doi          = {10.1023/A:1009939327927},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/RueherS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Solnon97,
  author       = {Christine Solnon},
  title        = {Cooperation of {LP} Solvers for Solving MILPs},
  booktitle    = {9th International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '97, Newport Beach, CA, USA, November 3-8, 1997},
  pages        = {240--247},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/TAI.1997.632262},
  doi          = {10.1109/TAI.1997.632262},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Solnon97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Solnon97,
  author       = {Christine Solnon},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Coop{\'{e}}ration de solveurs lin{\'{e}}aires sur les r{\'{e}}els
                  pour la r{\'{e}}solution de probl{\`{e}}mes lin{\'{e}}aires
                  sur les entiers},
  booktitle    = {JFPLC'97, Sixi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 26-28 mai 1997, Orl{\'{e}}ans,
                  France},
  pages        = {211},
  publisher    = {Hermes},
  year         = {1997},
  timestamp    = {Thu, 27 May 2004 08:38:46 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Solnon97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/SolnonR94,
  author       = {Christine Solnon and
                  Michel Rueher},
  editor       = {Marc{-}Michel Corsini},
  title        = {Inf{\'{e}}rence de contraintes ensemblistes {\`{a}} partir de
                  programmes Prolog - Application {\`{a}} la deduction de relations
                  d'h{\'{e}}ritage},
  booktitle    = {JFPLC'94, III{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 1994, Bordeaux, France},
  pages        = {239},
  year         = {1994},
  timestamp    = {Mon, 07 Jun 2004 11:16:21 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/SolnonR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SolnonR94,
  author       = {Christine Solnon and
                  Michel Rueher},
  editor       = {Laurent Fribourg and
                  Franco Turini},
  title        = {Propagation of Inter-argument Dependencies in "Tuple-distributive"
                  Type Inference Systems},
  booktitle    = {Logic Programming Synthesis and Transformation - Meta-Programming
                  in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
                  Italy, June 20-21, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {883},
  pages        = {199--214},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58792-6\_13},
  doi          = {10.1007/3-540-58792-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/SolnonR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SolnonR93,
  author       = {Christine Solnon and
                  Michel Rueher},
  editor       = {Andrei Voronkov},
  title        = {Extracting Inheritance Hierarchies from Prolog Programs: {A} System
                  Based on the Inference of Type Relations},
  booktitle    = {Logic Programming and Automated Reasoning,4th International Conference,
                  LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {698},
  pages        = {309--320},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56944-8\_63},
  doi          = {10.1007/3-540-56944-8\_63},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/SolnonR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/SolnonR92,
  author       = {Christine Solnon and
                  Michel Rueher},
  editor       = {Jean{-}Paul Delahaye and
                  Philippe Devienne and
                  Philippe Mathieu and
                  Pascal Yim},
  title        = {Du prototype Prolog vers un mod{\`{e}}le objet: une approche bas{\'{e}}e
                  sur l'inf{\'{e}}rence des relations inter-types},
  booktitle    = {JFPL'92, 1\({}^{\mbox{{\`{e}}res}}\) Journ{\'{e}}es Francophones
                  de Programmation Logique, 25-27 Mai 1992, Lille, France},
  pages        = {284},
  year         = {1992},
  timestamp    = {Fri, 25 Jun 2004 15:29:52 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/SolnonR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/SolnonR92,
  author       = {Christine Solnon and
                  Michel Rueher},
  editor       = {Maurice Bruynooghe and
                  Martin Wirsing},
  title        = {Inference of Inheritance Relationships from Prolog Programs: a System
                  Developed with PrologIII},
  booktitle    = {Programming Language Implementation and Logic Programming, 4th International
                  Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {631},
  pages        = {489--490},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55844-6\_163},
  doi          = {10.1007/3-540-55844-6\_163},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/SolnonR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SolnonR91,
  author       = {Christine Solnon and
                  Michel Rueher},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Using a Prolog Prototype for Designing an Object Oriented Scheme},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {300--317},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_22},
  doi          = {10.1007/978-1-4471-3494-7\_22},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/SolnonR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}