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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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