LERIA

Frédéric Lardeux

Computer Science (CNU 27)

Univ
photo
Position
  • Full Professor - University of Angers
  • Research laboratory: LERIA
  • Vice-dean of the Faculty of Science
  • Contact
    LERIA - Faculté des Sciences
    2, Bd Lavoisier, 49045 Angers Cedex 01
    Office H208
    Tel : (+33) 2 41 73 52 73
    Email : frederic.lardeux@univ-angers.fr
    Research interests
  • Constraints (CSP, SAT), Model transformations
  • Combinatorial optimization, Metaheuristics, Evolutionary Computation
  • Learning (Reinforcement learning, Machine learning), Logical Analysis of Data
  • Teachings
  • Algorithmics [L1-LP] (Lectures-Tutorials-Practicals)
  • Databases [L1, L3Pro, M2] (Lectures-Tutorials-Practicals)
  • Autonomous Search [M2R] (Lectures)
  • Publications , DBLP, Google Scholar

    Bibliography automatically extracted from HAL

    Journal articles

    2024

    titre
    Robust models to infer flexible nondeterministic finite automata
    auteur
    Tomasz Jastrzab, Frédéric Lardeux, Eric Monfroy
    article
    Journal of computational science, 2024, 79, pp.102309. ⟨10.1016/j.jocs.2024.102309⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-04568947/file/2023_JCS_v3%20%281%29.pdf BibTex
    titre
    An Overview of Data Extraction from Invoices
    auteur
    Thomas Saout, Frédéric Lardeux, Frédéric Saubion
    article
    IEEE Access, 2024, 12, pp.19872-19886. ⟨10.1109/ACCESS.2024.3360528⟩
    Accès au bibtex
    BibTex

    2023

    titre
    A SAT encoding for the portfolio selection problem
    auteur
    Giacomo Di Tollo, Frédéric Lardeux, Raffaele Pesenti, Matteo Petris
    article
    Soft Computing, 2023, ⟨10.1007/s00500-023-09484-z⟩
    Accès au bibtex
    BibTex
    titre
    A Computational Model for Logical Analysis of Data
    auteur
    Danièle Gardy, Frédéric Lardeux, Frédéric Saubion
    article
    International Journal of Data Science and Analytics, 2023, ⟨10.1007/s41060-023-00479-5⟩
    Accès au bibtex
    https://arxiv.org/pdf/2207.05664 BibTex

    2020

    titre
    Solving complex problems using model transformations: from set constraint modeling to SAT instance solving
    auteur
    Frédéric Lardeux, Éric Monfroy, Eduardo Rodriguez-Tello, Broderick Crawford, Ricardo Soto
    article
    Expert Systems with Applications, 2020, 149, pp.113243. ⟨10.1016/j.eswa.2020.113243⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-02945710/file/ESWA_2019___paperV6%20%281%29.pdf BibTex

    2019

    titre
    Dynamic Multi-Armed Bandit Algorithm for the Cyclic Bandwidth Sum Problem
    auteur
    Eduardo Rodriguez-Tello, Valentina Narvaez-Teran, Frederic Lardeux
    article
    IEEE Access, 2019, 7, pp.40258 - 40270. ⟨10.1109/access.2019.2906840⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03379531/file/Dynamic_Multi-Armed_Bandit_Algorithm_for_the_Cyclic_Bandwidth_Sum_Problem.pdf BibTex
    titre
    Migration policies in dynamic island models
    auteur
    Frédéric Lardeux, Jorge Maturana, Eduardo Rodriguez-Tello, Frédéric Saubion
    article
    Natural Computing, 2019, 18 (1), pp.163-179. ⟨10.1007/s11047-017-9660-z⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-02715693/file/DIM_NatComp.pdf BibTex
    titre
    Alternative evaluation functions for the cyclic bandwidth sum problem
    auteur
    Eduardo Rodriguez-Tello, Frédéric Lardeux, Abraham Duarte, Valentina Narvaez-Teran
    article
    European Journal of Operational Research, 2019, 273 (3), pp.904-919. ⟨10.1016/j.ejor.2018.09.031⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-02715688/file/1-s2.0-S0377221718308075-main%20%282%29.pdf BibTex

    2018

    titre
    Logical characterization of groups of data: a comparative study
    auteur
    Arthur Chambon, Tristan Boureau, Frédéric Lardeux, Frédéric Saubion
    article
    Applied Intelligence, 2018, 48 (8), pp.2284-2303. ⟨10.1007/s10489-017-1080-3⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-02516582/file/logical_analysis.pdf BibTex

    2017

    titre
    A combinatorial optimisation approach for closed-loop supply chain inventory planning with deterministic demand
    auteur
    Pierre Desport, Anne Liret, Carla Di Cairano - Gilfedder, Gilbert Owusu, David Lesaint, Frédéric Lardeux
    article
    European Journal of Industrial Engineering, 2017, ⟨10.1504/EJIE.2017.084878⟩
    Accès au texte intégral et bibtex
    https://hal.science/hal-01891456/file/ejie.pdf BibTex

    2016

    titre
    Simulating non-stationary operators in search algorithms
    auteur
    Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion
    article
    Applied Soft Computing, 2016, 38, pp.257-268. ⟨10.1016/j.asoc.2015.09.024⟩
    Accès au bibtex
    BibTex

    2015

    titre
    Set constraint model and automated encoding into SAT: application to the social golfer problem
    auteur
    Eric Monfroy, Frédéric Lardeux, Broderick Crawford, Ricardo Soto
    article
    Annals of Operations Research, 2015, ⟨10.1007/s10479-015-1914-5⟩
    Accès au bibtex
    BibTex
    titre
    An experimental study of adaptive control for evolutionary algorithms
    auteur
    Giacomo Di Tollo, Frédéric Lardeux, Jorge Maturana, Frédéric Saubion
    article
    Applied Soft Computing, 2015, 35, pp.359-372. ⟨10.1016/j.asoc.2015.06.016⟩
    Accès au bibtex
    BibTex
    titre
    Tabu search for the cyclic bandwidth problem
    auteur
    Eduardo Rodriguez-Tello, Hillel Romero-Monsivais, Gabriel Ramirez-Torres, Frédéric Lardeux
    article
    Computers and Operations Research, 2015, 57, pp.17-32. ⟨10.1016/j.cor.2014.11.013⟩
    Accès au texte intégral et bibtex
    https://hal.science/hal-01392218/file/COR2015.pdf BibTex

    2013

    titre
    Application du problème de caractérisation multiple à la conception de tests de diagnostic pour la biologie végétale
    auteur
    Fabien Chhel, Frédéric Lardeux, Frédéric Saubion, Bruno Zanuttini
    article
    Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2013, pp.649-668
    Accès au texte intégral et bibtex
    https://hal.science/hal-00951297/file/ApplicationDuProbleme.pdf BibTex
    titre
    A multiplex-PCR assay for identification of the quarantine plant pathogen Xanthomonas axonopodis pv. phaseoli
    auteur
    Tristan Boureau, M. Kerkoud, F. Chhel, Gilles Hunault, Armelle Darrasse, Chrystelle Brin, K. Durand, Ahmed Hajri, Stéphane Poussier, Charles Manceau, F. Lardeux, F. Saubion, Marie-Agnès Jacques
    article
    Journal of Microbiological Methods, 2013, 92 (1), pp.42--50. ⟨10.1016/j.mimet.2012.10.012⟩
    Accès au bibtex
    BibTex

    2010

    titre
    Autonomous operator management for evolutionary algorithms
    auteur
    Jorge Maturana, Frédéric Lardeux, Frédéric Saubion
    article
    Journal of Heuristics, 2010, 16 (6), pp.881-909. ⟨10.1007/s10732-010-9125-3⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03255406/file/PaperJoH.pdf BibTex

    2009

    titre
    A "repertoire for repertoire" hypothesis: repertoires of type three effectors are candidate determinants of host specificity in Xanthomonas.
    auteur
    A. Hajri, C. Brin, Gilles Hunault, Frédéric Lardeux, C. Lemaire, C. Manceau, T. Boureau, Stéphane Poussier
    article
    PLoS ONE, 2009, 4 (8), pp.e6632. ⟨10.1371/journal.pone.0006632⟩
    Accès au texte intégral et bibtex
    https://institut-agro-rennes-angers.hal.science/hal-00730088/file/2009_Hajri_Plosone_1.pdf BibTex

    2006

    titre
    GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem
    auteur
    Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
    article
    Evolutionary Computation, 2006, 14 (2), pp.223-253. ⟨10.1162/evco.2006.14.2.223⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03377721/file/evco.2006.14.2.223.pdf BibTex

    Book sections

    2020

    titre
    Attributes for Understanding Groups of Binary Data
    auteur
    Arthur Chambon, Frédéric Lardeux, Frédéric Saubion, Tristan Boureau
    article
    Pattern Recognition Applications and Methods, pp.48-70, 2020, ⟨10.1007/978-3-030-40014-9_3⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-02929606/file/Attributes_for_Understanding_Groups_of_Binary_Data%20%281%29.pdf BibTex

    2012

    titre
    Adaptive Operator Selection and Management in Evolutionary Algorithms
    auteur
    Jorge Maturana, Alvaro Fialho, Frédéric Saubion, Marc Schoenauer, Frédéric Lardeux, Michèle Sebag
    article
    Adaptive Operator Selection and Management in Evolutionary Algorithms, Springer-Verlag, pp.161-189, 2012, 978-3-642-21434-9. ⟨10.1007/978-3-642-21434-9_7⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03256764/file/Maturana2012.pdf BibTex

    Conference papers

    2024

    titre
    Classifying Words with 3-sort Automata
    auteur
    Tomasz Jastrząb, Frédéric Lardeux, Éric Monfroy
    article
    16th International Conference on Agents and Artificial Intelligence, Feb 2024, Rome, France. pp.1179-1188, ⟨10.5220/0012454100003636⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-04568939/file/ICAART_2024.pdf BibTex

    2023

    titre
    A two-stage approach for tables extraction in invoices
    auteur
    Thomas Saout, Frédéric Lardeux, Frédéric Saubion
    article
    The 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2023, Atlanta, France. pp.10-15, ⟨10.1109/ICTAI59109.2023.00010⟩
    Accès au texte intégral et bibtex
    https://hal.science/hal-04384728/file/A_two_stage_approach_for_table_extraction_in_invoices.pdf BibTex
    titre
    Inference of over-constrained NFA of size k + 1 to efficiently and systematically derive NFA of size k for grammar learning
    auteur
    Tomasz Jastrząb, Frédéric Lardeux, Eric Monfroy
    article
    International Conference on Computational Science (ICCS), Jul 2023, Prague, Czech Republic. pp.134-147, ⟨10.1007/978-3-031-35995-8_10⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-04199534/file/ICCS2023.pdf BibTex

    2022

    titre
    Taking advantage of a very simple property to efficiently infer NFAs
    auteur
    Tomasz Jastrząb, Frédéric Lardeux, Eric Monfroy
    article
    2022 IEEE 34rd International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2022, Virtual, France. pp.1355-1361, ⟨10.1109/ICTAI56018.2022.00205⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-04030407/file/ParNFA.pdf BibTex
    titre
    Preliminary Results on Constraint Programming and Branch & Bound Algorithms for the Cyclic Bandwidth Sum Problem
    auteur
    Valentina Narvaez-Teran, Eduardo Rodriguez-Tello, Frédéric Lardeux, Gabriel Ramírez-Torres
    article
    Seventh International Congress on Information and Communication Technology, Feb 2022, London, United Kingdom. pp.117-125, ⟨10.1007/978-981-19-1610-6_11⟩
    Accès au bibtex
    BibTex

    2021

    titre
    Optimized models and symmetry breaking for the NFA inference problem
    auteur
    Frédéric Lardeux, Eric Monfroy
    article
    2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, France. pp.396-403, ⟨10.1109/ICTAI52525.2021.00065⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03613517/file/ICTAI-2021.pdf BibTex
    titre
    GA and ILS for optimizing the size of NFA models
    auteur
    Frédéric Lardeux, Eric Monfroy
    article
    The 8th International Conference on Metaheuristics and Nature Inspired Computing (META), Oct 2021, Marrakech, Morocco
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03284541/file/Lardeux.pdf BibTex
    titre
    Improved SAT models for NFA learning
    auteur
    Frédéric Lardeux, Eric Monfroy
    article
    International Conference in Optimization and Learning (OLA), Jun 2021, Catania, Italy
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03284571/file/ola2021.pdf BibTex

    2020

    titre
    Abacus: A New Hybrid Encoding for SAT Problems
    auteur
    Claudia Vasconcellos-Gaete, Vincent Barichard, Frédéric Lardeux
    article
    2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2020, Baltimore, United States. pp.145-152, ⟨10.1109/ICTAI50040.2020.00033⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03385029/file/ictai2020.pdf BibTex

    2019

    titre
    On the Use of CSP Semantic Information in SAT Models
    auteur
    Claudia Vasconcellos-Gaete, Vincent Barichard, Frédéric Lardeux
    article
    18th Mexican International Conference on Artificial Intelligence (MICAI), Oct 2019, Xalapa, Mexico. pp.127
    Accès au texte intégral et bibtex
    https://hal.science/hal-02445335/file/micai2019_cvasconcellos.pdf BibTex
    titre
    A Sequence-Based Metaheuristics for Tactical Distribution Problems in Closed-Loop Supply Chains
    auteur
    Pierre Desport, David Lesaint, Frédéric Lardeux, Carla Di Cairano - Gilfedder, Anne Liret, Gilbert Owusu
    article
    9th IFAC Conference Manufacturing Modelling, Management and Control MIM 2019, Aug 2019, Berlin, Germany
    Accès au texte intégral et bibtex
    https://hal.science/hal-02285029/file/main.pdf BibTex
    titre
    Accelerated algorithm for computation of all prime patterns in logical analysis of data
    auteur
    Arthur Chambon, Frédéric Lardeux, Frédéric Saubion, Tristan Boureau
    article
    8th International, Conference on Pattern Recognition Applications and Methods (ICPRAM), 2019, Prague, Czech Republic. pp.210-220, ⟨10.5220/0007389702100220⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-02557441/file/pattern_computation%20%281%29.pdf BibTex

    2018

    titre
    Comparative Study of Different Memetic Algorithm Configurations for the Cyclic Bandwidth Sum Problem
    auteur
    Eduardo Rodriguez-Tello, Valentina Narvaez-Teran, Frédéric Lardeux
    article
    PPSN: International Conference on Parallel Problem Solving from Nature, 2018, Coimbra, Portugal. ⟨10.1007/978-3-319-99253-2_7⟩
    Accès au texte intégral et bibtex
    https://hal.science/hal-02082126/file/Rodriguez-Tello2018_Chapter_ComparativeStudyOfDifferentMem.pdf BibTex
    titre
    Using graph-based models to understand transformation between CSP and SAT
    auteur
    Vincent Barichard, Frédéric Lardeux, Claudia Vasconcellos-Gaete
    article
    19ème congrès annuel de la société française de recherche opérationnelle et d'aide à la décision (ROADEF), 2018, Lorient, France
    Accès au bibtex
    BibTex

    2016

    titre
    Model and Combinatorial Optimization Methods for Tactical Planning in Closed-Loop Supply Chains
    auteur
    Pierre Desport, Frédéric Lardeux, David Lesaint, Anne Liret, Carla Di Cairano-Gilfedder, Gilbert Owusu
    article
    2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2016, San Jose, France. ⟨10.1109/ICTAI.2016.0137⟩
    Accès au texte intégral et bibtex
    https://hal.science/hal-01891504/file/ictaiSolver.pdf BibTex
    titre
    Tactical Supply Chain Distribution Planning In The Telecommunications Service Industry
    auteur
    Pierre Desport, Frédéric Lardeux, David Lesaint, Anne Liret, Carla Di Cairano - Gilfedder, Gilbert Owusu
    article
    VeRoLog 2016: annual workshop of the EURO working group on Vehicle Routing and Logistics optimization, Jun 2016, Nantes, France
    Accès au bibtex
    BibTex
    titre
    Strategies for handling uncertainty in tactical distribution planning - an empirical study
    auteur
    Pierre Desport, Frédéric Lardeux, David Lesaint, Anne Liret, Carla Di Cairano - Gilfedder, Gilbert Owusu
    article
    European Chapter on Combinatorial Optimization - ECCO XXIX, May 2016, Budapest, Hungary
    Accès au bibtex
    BibTex
    titre
    A Metaheuristic for Tactical Inventory Planning in Closed-Loop Supply Chains
    auteur
    Pierre Desport, Frédéric Lardeux, David Lesaint, Anne Liret, Gilbert Owusu, Carla Di Cairano - Gilfedder
    article
    17ème conférence de la Société française de recherche opérationnelle et aide à la décision - ROADEF'16, Feb 2016, Compiègne, France
    Accès au bibtex
    BibTex
    titre
    From Set Constraint Models to SAT Instances
    auteur
    Frédéric Lardeux, Eric Monfroy
    article
    28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-02709491/file/PID4450039.pdf BibTex
    titre
    Réduction et Encodage des Contraintes Ensemblistes en SAT
    auteur
    Frédéric Lardeux, Eric Monfroy
    article
    Douzièmes journées Francophones de Programmation par Contraintes (JFPC), 2016, Montpellier, France
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-02709514/file/JFPC2016-FR.pdf BibTex
    titre
    Learning and Migration Processes for Island Models
    auteur
    Frédéric Lardeux, Frédéric Saubion, Jorge Maturana
    article
    28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-02709479/file/ICTAI-SHORT.pdf BibTex

    2015

    titre
    Expressively Modeling the Social Golfer Problem into SAT
    auteur
    Frédéric Lardeux, Eric Monfroy
    article
    International Conference on Computational Science - ICCS 2015, Jun 2015, Reykjavík, Iceland
    Accès au bibtex
    BibTex
    titre
    Empirical Analysis of Operators for Permutation Based Problems
    auteur
    Pierre Desport, Matthieu Basseur, Frédéric Lardeux, Adrien Goëffon, Frédéric Saubion
    article
    LION 2015: Learning and Intelligent Optimization, May 2015, LILLE, France
    Accès au texte intégral et bibtex
    https://hal.science/hal-01891521/file/LION2015.pdf BibTex
    titre
    Tactical Inventory Planning in the Telecommunications Service Industry: a Case Study
    auteur
    Pierre Desport, Frédéric Lardeux, David Lesaint
    article
    ROADEF'15, Feb 2015, Marseille, France
    Accès au bibtex
    BibTex
    titre
    On Migration Policies in Dynamic Island Models
    auteur
    Jorge Maturana, Frédéric Lardeux, Frédéric Saubion
    article
    Artificial Evolution, 2015, Lyon, France
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-02709488/file/EAShort.pdf BibTex
    titre
    Characterization of Multiple Groups of Data
    auteur
    Arthur Chambon, Tristan Boureau, Frédéric Lardeux, Frédéric Saubion, Marion Le Saux
    article
    2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), 2015, Vietri sul Mare, Italy. ⟨10.1109/ICTAI.2015.146⟩
    Accès au bibtex
    BibTex
    titre
    Expressively Modeling the Social Golfer Problem in SAT
    auteur
    Frédéric Lardeux, Eric Monfroy
    article
    Computational Science at the Gates of Nature, 2015, Reykjavik, France. pp.336-345, ⟨10.1016/j.procs.2015.05.252⟩
    Accès au bibtex
    BibTex
    titre
    Modélisation du Social Golfer en SAT via les contraintes ensemblistes
    auteur
    Frédéric Lardeux, Eric Monfroy
    article
    Onzièmes Journées Francophones de Programmation par Contraintes (JFPC), 2015, Bordeaux, France
    Accès au bibtex
    BibTex
    titre
    Combining Mutation and Recombination to Improve a Distributed Model of Adaptive Operator Selection
    auteur
    Jorge A. Soria-Alcaraz, Gabriela Ochoa, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion
    article
    International Conference on Artificial Evolution (Evolution Artificielle), 2015, Lyon, France. pp.97-108, ⟨10.1007/978-3-319-31471-6_8⟩
    Accès au texte intégral et bibtex
    https://hal.science/hal-01412613/file/dimaosxEA2015.pdf BibTex

    2014

    titre
    From Declarative Set Constraint Models to "Good" SAT Instances.
    auteur
    Frédéric Lardeux, Eric Monfroy
    article
    Artificial Intelligence and Symbolic Computation, Dec 2014, Seville, Spain. pp.76-87
    Accès au bibtex
    BibTex
    titre
    On the Attainability of NK Landscapes Global Optima
    auteur
    Matthieu Basseur, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion, Vincent Vigneron
    article
    Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014, Non spécifié, United States. pp.28-34
    Accès au bibtex
    BibTex
    titre
    From Declarative Set Constraint Models to “Good” SAT Instances
    auteur
    Frédéric Lardeux, Eric Monfroy
    article
    Artificial Intelligence and Symbolic Computation, 2014, Séville, Spain. pp.76-87, ⟨10.1007/978-3-319-13770-4_8⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03352573/file/aisc2014.pdf BibTex

    2013

    titre
    Non stationary operator selection with island models
    auteur
    Caner Candan, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion
    article
    Proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference - GECCO '13, 2013, Non spécifié, Turkey. pp.1509-1516, ⟨10.1145/2463372.2463559⟩
    Accès au bibtex
    BibTex
    titre
    Parameter Setting with Dynamic Island Models
    auteur
    Caner Candan, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion
    article
    Lecture Notes in Computer Science, Learning and Intelligent Optimization (LION 7), 2013, Berlin, Heidelberg, France. ⟨10.1007/978-3-642-44973-4_26⟩
    Accès au bibtex
    BibTex
    titre
    Modèles en iles pour le réglage automatique de paramètres : application au problème du bandit manchot
    auteur
    Caner Candan, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion
    article
    Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF), 2013, Non spécifié, France
    Accès au bibtex
    BibTex

    2012

    titre
    Autonomous Local Search Algorithms with Island Representation
    auteur
    Adrien Goëffon, Frédéric Lardeux
    article
    6th International Conference, LION 6, 2012, Paris, France. pp.390 - 395, ⟨10.1007/978-3-642-34413-8_33⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03255434/file/islandSHORT.pdf BibTex
    titre
    A dynamic island model for adaptive operator selection
    auteur
    Caner Candan, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion
    article
    14th international conference on genetic and evolutionary computation conference, GECCO'12, 2012, Philadelphie, United States. pp.1253 - 1260, ⟨10.1145/2330163.2330337⟩
    Accès au bibtex
    BibTex
    titre
    Minimum multiple characterization of biological data using partially defined boolean formulas
    auteur
    Fabien Chhel, Frédéric Lardeux, Adrien Goëffon, Frédéric Saubion
    article
    27th Annual ACM Symposium on Applied Computing, 2012, Trente, Italy. pp.1399 - 1405, ⟨10.1145/2245276.2231998⟩
    Accès au bibtex
    BibTex
    titre
    Pourquoi rendre les modèles en iles autonomes ?
    auteur
    Caner Candan, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion
    article
    13e congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision, ROADEF 2012, 2012, Angers,, France
    Accès au bibtex
    BibTex

    2011

    titre
    From Adaptive to More Dynamic Control in Evolutionary Algorithms
    auteur
    Giacomo Di Tollo, Frédéric Lardeux, Jorge Maturana, Frédéric Saubion
    article
    Evolutionary Computation in Combinatorial Optimization, 2011, Turin, Italy. pp.130 - 141, ⟨10.1007/978-3-642-20364-0_12⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03255423/file/ditollo.pdf BibTex
    titre
    Optimal One-Max Strategy with Dynamic Island Models
    auteur
    Adrien Goëffon, Frédéric Lardeux
    article
    23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI, 2011, Boca Raton, United States. pp.485-488, ⟨10.1109/ICTAI.2011.79⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03255426/file/islandSHORT.pdf BibTex
    titre
    Caractérisation multiples minimales utilisant les formules booléennes partiellement définies
    auteur
    Fabien Chhel, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion
    article
    5èmes Journées Nationales de l’IA Fondamentale, IAF 2011, 2011, Non spécifié, France. 10 - p
    Accès au bibtex
    BibTex
    titre
    Modèles en Îles Dynamiques
    auteur
    Adrien Goëffon, Frédéric Lardeux
    article
    7ème Journées Francophones de Programmation par Contraintes, 2011, Lyon, France. pp.135 - 144
    Accès au bibtex
    BibTex
    titre
    The bacterial strains characterization problem
    auteur
    Fabien Chhel, Adrien Goëffon, Antoine Lafosse, Frédéric Lardeux, Frédéric Saubion, Gilles Hunault, Tristan Boureau
    article
    26th Symposium On Applied Computing, 2011, Taichung, Taiwan. pp.108 - 109, ⟨10.1145/1982185.1982213⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03255418/file/evobio11.pdf BibTex
    titre
    Experimental Approach for Bacterial Strains Characterization
    auteur
    Fabien Chhel, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion, Gilles Hunault, Tristan Boureau
    article
    9th European Conference, EvoBIO 2011, 2011, Turin, Italy. pp.135 - 140, ⟨10.1007/978-3-642-20389-3_13⟩
    Accès au bibtex
    BibTex

    2010

    titre
    Controlling behavioral and structural parameters in evolutionary algorithms
    auteur
    Jorge Maturana, Frédéric Lardeux, Frédéric Saubion
    article
    Artifical Evolution, Oct 2010, Non spécifié, France. ⟨10.1007/978-3-642-14156-0⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03255570/file/p10_Maturana.pdf BibTex
    titre
    Caractérisation de souches bactériennes à l'aide de la logique propositionnelle
    auteur
    Fabien Chhel, Frédéric Lardeux, Frédéric Saubion
    article
    JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.101-102
    Accès au texte intégral et bibtex
    https://inria.hal.science/inria-00520287/file/chhel.pdf BibTex
    titre
    A Dynamic Island-Based Genetic Algorithms Framework
    auteur
    Frédéric Lardeux, Adrien Goëffon
    article
    8th International Conference, SEAL 2010, 2010, Kanpur, India. pp.156 - 165, ⟨10.1007/978-3-642-17298-4_16⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03350615/file/SEAL10.pdf BibTex
    titre
    Auto-adaptative Migration Policies in Island-Based Genetic Algorithms
    auteur
    Frédéric Lardeux, Adrien Goëffon
    article
    Metaheuristics and Nature Inspired Computing, 2010, Djerba, Tunisia
    Accès au bibtex
    BibTex

    2009

    titre
    Une approche de contrôle autonome pour la recherche locale
    auteur
    Julien Robet, Frédéric Lardeux, Frédéric Saubion
    article
    Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.205-215
    Accès au texte intégral et bibtex
    https://hal.science/hal-00390923/file/paper_49.pdf BibTex
    titre
    Génération et contrôle autonomes d'opérateurs pour les algorithmes évolutionnaires
    auteur
    Jorge Maturana, Frédéric Lardeux, Frédéric Saubion
    article
    Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.185-195
    Accès au texte intégral et bibtex
    https://hal.science/hal-00387811/file/paper_2.pdf BibTex
    titre
    Handling Multiple "Alldifferent" Constraints
    auteur
    Frédéric Lardeux, Eric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro
    article
    VIII Congreso Chileno de Investigacion Operativa, OPTIMA 2009, 2009, Université de Bio-Bio, Chile
    Accès au bibtex
    BibTex
    titre
    Autonomous Control Approach for Local Search
    auteur
    Julien Robet, Frédéric Lardeux, Frédéric Saubion
    article
    Second InternationalWorkshop, SLS 2009, 2009, Bruxelles, Belgium. pp.130-134, ⟨10.1007/978-3-642-03751-1_13⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03255566/file/sls09.pdf BibTex
    titre
    SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints
    auteur
    Frédéric Lardeux, Eric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro
    article
    8th Mexican International Conference on Artificial Intelligence, MICAI 2009, 2009, Guanajuato, Mexico. pp.360-371, ⟨10.1007/978-3-642-05258-3_32⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03350614/file/micai2009.pdf BibTex

    2008

    titre
    Interleaved Alldifferent Constraints: CSP vs. SAT Approaches
    auteur
    Frédéric Lardeux, Eric Monfroy, Frédéric Saubion
    article
    13th International Conference, AIMSA 2008, 2008, Varna, Bulgaria. pp.380-384, ⟨10.1007/978-3-540-85776-1_34⟩
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/hal-03350607/file/AIMSA08.pdf BibTex
    titre
    Overlapping Alldifferent Constraints and the Sudoku puzzle
    auteur
    Frédéric Lardeux, Eric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro
    article
    XXXIV Conferencia Latinoamericana de Informatica, CLEI 2008, 2008, Santa Fe, Argentina. 10 - p
    Accès au bibtex
    BibTex
    titre
    Managing Multiple Alldifferent Constraints in CSP and SAT
    auteur
    Frédéric Lardeux, Eric Monfroy, Frédéric Saubion
    article
    Annual ERCIM Workshop, CSCLP 2008, 2008, Rome, Italy. 11 - p
    Accès au bibtex
    BibTex

    2006

    titre
    Une étude empirique des heuristiques de branchement pour le problème MAX-SAT
    auteur
    Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
    article
    Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06)
    Accès au texte intégral et bibtex
    https://inria.hal.science/inria-00085817/file/54.pdf BibTex

    2005

    titre
    Une vision trivaluée pour les problèmes SAT et MAX-SAT
    auteur
    Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
    article
    Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.297-304
    Accès au texte intégral et bibtex
    https://inria.hal.science/inria-00000044/file/2.pdf BibTex
    titre
    Three Truth Values for the SAT and Max-SAT Problems
    auteur
    Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
    article
    19th International Joint Conference on Artificial Intelligence, 2005, San Francisco, United States. pp.187-192
    Accès au texte intégral et bibtex
    https://hal.science/hal-01119899/file/IJCAI05.pdf BibTex

    2003

    titre
    Evolutionary Computing for the Satisfiability Problem
    auteur
    Jin-Kao Hao, Frédéric Lardeux, Frédéric Saubion
    article
    Applications of Evolutionary Computing, 2003, Essex, United Kingdom. pp.258-267, ⟨10.1007/3-540-36605-9_24⟩
    Accès au texte intégral et bibtex
    https://hal.science/hal-03377796/file/Hao2003_Chapter_EvolutionaryComputingForTheSat.pdf BibTex
    titre
    Recombination Operators for Satisfiability Problems
    auteur
    Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
    article
    Artificial Evolution, 2003, Marseille, France. pp.103-114, ⟨10.1007/978-3-540-24621-3_9⟩
    Accès au bibtex
    BibTex

    Patents

    2021

    titre
    Virtualised Network Function Deployment
    auteur
    Pierre Desport, Frédéric Lardeux, David Lesaint, Carla Di Cairano-Gilfedder
    article
    United States, Patent n° : US 20210103456 A1. 2021
    Accès au bibtex
    BibTex

    2012

    titre
    Procédé de dépistage de Xanthomonas axonopodis pv. phaseoli
    auteur
    Tristan Boureau, Fabien Chhel, Gilles Hunault, Mohammed Kerkoud, Frédéric Lardeux, Charles Manceau, Stéphane Poussier, Frédéric Saubion
    article
    France, N° de brevet: FR2970480 A1. 2012
    Accès au bibtex
    BibTex

    Habilitation à diriger des recherches

    2012

    titre
    Algorithmes autonomes et modélisations de problèmes
    auteur
    Frédéric Lardeux
    article
    Intelligence artificielle [cs.AI]. Université d'Angers, 2012
    Accès au texte intégral et bibtex
    https://univ-angers.hal.science/tel-03379628/file/hdr-short.pdf BibTex

    Theses

    2005

    titre
    Hybrid approaches for the satisfiability problems (SAT and MAX-SAT)
    auteur
    Frédéric Lardeux
    article
    Intelligence artificielle [cs.AI]. Université d'Angers, 2005. Français. ⟨NNT : ⟩
    Accès au bibtex
    BibTex

    Poster communications

    2017

    titre
    Characterization of biological data
    auteur
    Arthur Chambon, Frédéric Lardeux, Frédéric Saubion, Tristan Boureau
    article
    Journées Ouvertes en Biologie, Informatique & Mathématiques 2017 (JOBIM'17), 2017, Lille, France. , 2017
    Accès au bibtex
    BibTex

    Science popularization

    2015

    titre
    Parallélisme et programmation par contraintes : un duo gagnant
    auteur
    Frédéric Lardeux
    article
    ITbulletin, Atos, 2015
    Accès au bibtex
    BibTex

    2012

    titre
    Des archipels d'algorithmes
    auteur
    Adrien Goeffon, Frédéric Lardeux, Frédéric Saubion
    article
    Têtes chercheuses, numéro 21, 2012
    Accès au bibtex
    BibTex

    Preprints, Working Papers, ...

    2014

    titre
    Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem
    auteur
    Frédéric Lardeux, Eric Monfroy, Broderick Crawford, Ricardo Soto
    article
    2014
    Accès au bibtex
    BibTex