| Page précédente | LERIA | Faculté des Sciences | Université d'Angers | |
 |
Frédéric LardeuxJe suis maître de conférences au sein du département informatique de l'université d'Angers. J'effectue ma recherche dans l'équipe Métaheuristiques, Optimisation et Applications du LERIA dirigée par Jin-Kao Hao et Frédéric Saubion Depuis 2008, j'ai la responsabilité de la licence professionnelle logiciels libres et propriétaires pour les systèmes, réseaux et bases de données |
Activités au LERIA
Recherche
Etude des métaheuristiques
Etude des algorithmes évolutionnaires
Travail sur le
problème SAT : Heuristiques de branchement pour les méthodes exactes travaillant sur le
problème MAX-SAT (combinaison d'heuristiques existantes pour le problème SAT)
Cadre de résolution trivalué : hybridation entre méthodes exactes et méthodes
approchées (recherche locale / Branch and Bound)
GASAT: hybridation entre méthodes approchées (recherche locale / algorithme
génétique). Participation à la compétition SAT2004
(version classique, version Compétition SAT2004)
Instances SAT ayant participées à la
compétition SAT 2003
Algorithme ksat_3sat
transformant une instance ksat en instance 3sat.
Outil développé par
Eduardo Rodriguez Tello permettant de
vérifier si une instance est correcte (teste si toutes les variables sont
utilisées, s'il n'y a pas de tautologie, ...) : testcnf.c
Outil développé par
Eduardo
Rodriguez Tello permettant de
corriger une instance incorrecte (réécrit l'instance en supprimant les
variables non utilisées et en renommant les autres) : cleancnf.c
Publications2008
F. Lardeux E. Monfroy and F. Saubion, Interleaved Alldifferent Constraints: CSP vs. SAT Approaches, AIMSA'08((pdf)(bibtex)
F. Lardeux E. Monfroy F. Saubion B. Crawford and C. Castro, Overlapping Alldifferent Constraints and the
Sudoku puzzle, XXXIV Conferencia Latinoamericana de Informática (CLEI'08)(pdf)(bibtex)
F. Lardeux E. Monfroy and F. Saubion, Managing Multiple Alldifferent Constraints in CSP and SAT, Constraint Solving and Constraint Logic Programming (CSCLP'08)(pdf)(bibtex)
2006
F. Lardeux F. Saubion
and J.K. Hao, GASAT: a genetic local search algorithm for the satisfiability problem (Evolutionary Computation Journal, 2006)(pdf)(bibtex)
2005
F. Lardeux, Approches
Hybrides pour les problèmes de Satisfiabilité (SAT et MAX-SAT) (Thèse de doctorat, Angers, France, Novembre 2005)(pdf)
(bibtex)
F. Lardeux F. Saubion and J.K. Hao, Local Search with Three Truth Values for SAT Problems (MIC'05, Vienne, Autriche, Août 2005)(pdf)
(bibtex)
F. Lardeux F. Saubion
and J.K. Hao, Three Truth Values for the SAT and MAX-SAT Problems (Proc. of the
Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland, August 2005)(bibtex)
F. Lardeux F. Saubion
and J.K. Hao, Une Vision Trivaluée pour le Problèmes SAT et MAX-SAT (Proc. of
the 1st JFPC, Lens, France, June 2005)
(pdf)
(bibtex)
F. Lardeux F. Saubion
and J.K. Hao, Combinaison d'heuristiques pour le problème MAX-SAT (Proc. of
the 6th ROADEF, Tours, France, Febuary 2005)
(pdf)
(bibtex)
2004
F. Lardeux F. Saubion
and J.K. Hao, A Resolution Framework to Combine Exact and Approximate Methods for SAT and MAX-SAT Problems
(Proc. of the 4th EU/ME Workshop on Design and Evaluation of Advanced Hybrid Meta-Heuristics, Nottingham, UK, November 2004)
(pdf)
(bibtex)
F. Lardeux F. Saubion
and J.K. Hao, Combination of Exact and Approximate Methods for SAT and MAX-SAT Problems
(Proc. of the 4th Workshop on Cooperative Solvers in Constraint Programming
(COSOLV), Toronto, Canada, September 2004)
(pdf)
(bibtex)
F. Lardeux F. Saubion
and J.K. Hao, Combinaison de mécanismes de résolution
pour le problème MAX-SAT
(Proc. of the 4th FRANCORO, Fribourg, Suisse, August 2004)
(pdf)
(bibtex)
F. Lardeux F. Saubion
and J.K. Hao, Un algorithme tabou tri-valué hybride pour le problème MAX-SAT.
(Proc. of the 10th JNPC, Angers, France, June 2004)
(pdf)
(bibtex)
F. Lardeux F. Saubion
and J.K. Hao, The GASAT Solver (Proc of the SAT 2004 Competition : Solver Descriptions, Vancouver, Canada, May 2004)
(pdf)
(bibtex)
2003
F. Lardeux F. Saubion
and J.K. Hao, Recombination Operators for Satisfiability Problems (Proc. of the 6th International Conference on Artificial Evolution, Marseille, France, October 2003)
(pdf)
(bibtex)
F. Lardeux F. Saubion
and J.K. Hao, Recombination Operators for Satisfiability
Problems. (Proc. of the 5th MIC, Kioto, Japan, August 2003)
(pdf)
(bibtex)
F. Lardeux F. Saubion
and J.K. Hao, GASAT : une approche hybride pour le problème SAT.
(Proc. of the 9th JNPC, Amiens, France, June 2003)
(pdf)
(bibtex)
F. Lardeux F. Saubion
and J.K. Hao, A Chessboard Coloring Problem for SAT Solver.
(Rapport Technique)
(pdf)
(bibtex)
J.K. Hao, F. Lardeux and F. Saubion, Evolutionary computing for the satisfiability
problem. In Lecture Notes in Computer Science, Springer, 2003. (Proc. of the 3rd European Workshop on Evolutionary Computation in
Combinatorial Optimization, Essex, UK, April 2003)
(pdf)
(bibtex)
F. Lardeux, F. Saubion
and J.K. Hao, Un algorithme hybride pour le problème SAT. (Proc. of the 5th ROADEF, Avignon, France, Febuary 2003)
(pdf)
(bibtex)
2002
J.K. Hao, F. Lardeux
and F. Saubion, A hybrid Genetic Algorithm for the Satisfiability
Problem. (Proc. of the 1rst International Workshop on Heuristics, Beijing , China, July 2002)
(pdf)
(bibtex)
Activités au Département
InformatiqueResponsable de la licence professionnelle logiciels libres et propriétaires pour les
systèmes, réseaux et bases de données Enseignements Réseau (Cours, TP) Développement web (TD, TP) Algorithmique
Impérative (Cours, TD, TP) Algorithmique
Fonctionnelle (TP) Structures de données (TD) Bases de données (Cours, TD) Initiation à l'informatique (Cours) Encadrement de stages
et de projets (Licence, Master) LoisirsTennis
Volley ball
Belle Isle en Mer
 |
(+33) 2 41 73 52 73 |
 |
(+33) 2 41 73 50 73 |
Responsable du serveur Web : webmaster@info.univ-angers.fr
Retour à la page d'accueil du département d'Informatique
Page d'accueil de l'Université d'Angers