COCONUT: Agents, Apprentissage, Contraintes

Coconut est une équipe de recherche dont le but est de proposer et combiner des modèles et algorithmes en Contraintes, Apprentissage et Agents.

Site de l'équipe (Actualités, Présentation, Publications, Séminaires ...) : http://www.lirmm.fr/coconut

Membres

Permanents

Non permanents

Publications depuis 2013 - Evaluation 2019

Articles de revues internationales

2018

  1. A Generic Interval Branch and Bound Algorithm for Parameter Estimation
    Bertrand Neveu, Martin De La Gorce, Pascal Monasse, Gilles Trombettoni
    Journal of Global Optimization, Springer Verlag, In press. <10.1007/s10898-018-0721-3>

2017

  1. Fault localization using itemset mining under constraints
    Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah
    Automated Software Engineering, Springer Verlag, 2017, 24 (2), pp.341-368.
  2. The Inductive Constraint Programming Loop
    Christian Bessière, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis
    IEEE Intelligent Systems, Institute of Electrical and Electronics Engineers, 2017, 32 (5), pp.44-52.
  3. Triangle-based consistencies for cost function networks
    Hiep Nguyen, Christian Bessière, Simon De Givry, Thomas Schiex
  4. Constraint Acquisition
    Christian Bessière, Frédéric Koriche, Nadjib Lazaar, Barry O'Sullivan
    Artificial Intelligence, Elsevier, 2017, 244, pp.315-342.

2016

  1. Constrained global optimization for wine blending
    Philippe Vismara, Remi Coletta, Gilles Trombettoni
    Constraints, Springer Verlag, 2016, 21 (4), pp.597-615.
  2. Tractability-preserving Transformations of Global Cost Functions
    David Allouche, Christian Bessière, Patrice Boizumault, Simon De Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Metivier, Thomas Schiex
  3. Strong Local Consistency Algorithms for Table Constraints
    Anastasia Paparrizou, Kostas Stergiou
    Constraints, Springer Verlag, 2016, 21 (2), pp.163-197.
  4. Node selection strategies in interval Branch and Bound algorithms
    Bertrand Neveu, Gilles Trombettoni, Ignacio Araya
    Journal of Global Optimization, Springer Verlag, 2016, 64 (2), pp.289-304.
  5. A Constraint Optimization Method for Large-Scale Distributed View Selection
    Imene Mami, Zohra Bellahsene, Remi Coletta
    Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2016, LNCS (9620), pp.71-108.
  6. Computing and Restoring Global Inverse Consistency in Interactive Constraint Satisfaction
    Christian Bessière, Hélène Fargier, Christophe Lecoutre

2015

  1. Adaptive constructive interval disjunction: algorithms and experiments
    Bertrand Neveu, Gilles Trombettoni, Ignacio Araya
    Constraints, Springer Verlag, 2015, 20 (7), pp.452-467.
  2. Efficient algorithms for strong local consistencies and adaptive techniques in constraint satisfaction problems
    Anastasia Paparrizou
    Constraints, Springer Verlag, 2015, 20 (4), pp.484-485.
  3. LC-mine: a framework for frequent subgraph mining with local consistency techniques
    Brahim Douar, Michel Liquière, Chiraz Latiri, Yahya Slimani
    Knowledge and Information Systems (KAIS), Springer, 2015, 44 (1), pp.1-25.

2014

  1. A Projection Bias in Frequent Subgraph Mining Can Make a Difference
    Brahim Douar, Chiraz Latiri, Michel Liquière, Yahya Slimani
    International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2014, 23 (5). <10.1142/S0218213014500055>
  2. Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints
    Ignacio Araya, Gilles Trombettoni, Bertrand Neveu, Gilles Chabert
    Journal of Global Optimization, Springer Verlag, 2014, 60 (2), pp.145-164.
  3. Interval Methods for Model Qualification: Methodology and Advanced Application
    Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
    Mathematics in Computer Science, Springer, 2014, 8 (3-4), pp.479-493.
  4. Global Constraints in Distributed Constraint Satisfaction and Optimization
    Christian Bessière, Ismel Brito, Patricia Gutierrez, Pedro Meseguer
    The Computer Journal, Oxford University Press (UK), 2014, 57 (6), pp.906-923.

2013

  1. Special issue on maintenance scheduling: theory and applications
    Ender Ozcan, Christian Artigues, Eric Bourreau, Hasan-Murat Afsar
    Journal of Scheduling, Springer Verlag, 2013, 16 (6), pp.549-550.
  2. A Declarative Approach to View Selection Modeling
    Imene Mami, Zohra Bellahsene, Remi Coletta
    Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2013, Part X - Special Issue on Database- and Expert-Systems Applications, LNCS (8220), pp.115-145.
  3. Nogood-Based Asynchronous Forward Checking Algorithms
    Mohamed Wahbi, Redouane Ezzahir, Christian Bessière, El Houssine Bouyakhf
    Constraints, Springer Verlag, 2013, 18 (3), pp.404-433.

Communications internationales

2018

  1. An Interval Branch and Bound Algorithm for Parameter Estimation and Application to Stereovision
    Bertrand Neveu, Martin De La Gorce, Pascal Monasse, Gilles Trombettoni
    LeGO: Leiden Global Optimization, Sep 2018, Leiden, Netherlands. 14th International Workshop on Global Optimization, 2018. <https://www.universiteitleiden.nl/en/events/2018/09/lego-workshop-2018>
  2. A Circuit Constraint for Multiple Tours Problems
    Philippe Vismara, Nicolas Briot
    CP: Constraint Programming, Aug 2018, Lille, France. 24th International Conference on Principles and Practice of Constraint Programming, pp.389-402, 2018.
  3. User's Constraints in Itemset Mining
    Christian Bessière, Nadjib Lazaar, Mehdi Maamar
    CP: Principles and Practice of Constraint Programming, Aug 2018, Lille, France. 24th International Conference of Principles and Practice of Constraint Programming, 2018. <10.1007/978-3-319-98334-9_35>
  4. Solving Sudoku with Consistency: A Visual and Interactive Approach
    Ian Howel, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessière
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. 27th International Joint Conference on Artificial Intelligence, pp.5829-5831, 2018.
  5. A Reactive Strategy for High-Level Consistency During Search
    Robert J. Woodward, Berthe Y. Choueiry, Christian Bessière
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. 27th International Joint Conference on Artificial Intelligence, pp.1390-1397, 2018.
  6. Time-Bounded Query Generator for Constraint Acquisition
    Hajar Addi, Christian Bessière, Redouane Ezzahir, Nadjib Lazaar
    CPAIOR: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2018, Delft, Netherlands. 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, LNCS (10848), pp.1-17, 2018.
  7. Échantillonnage sous contraintes en viticulture de précision
    Baptiste Oger, Bruno Tisseyre, Philippe Vismara
    JFPC: Journées Francophones de Programmation par Contraintes, Jun 2018, Amiens, France. 14e Journées Francophones de Programmation par Contraintes, 2018. <https://home.mis.u-picardie.fr/~evenement/JFPC2018/>
  8. Discovering Program Topoi Through Clustering
    Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
    IAAI: Innovative Applications of Artificial Intelligence, Feb 2018, New Orleans, Louisiana, United States. 13th Annual Conference on Innovative Applications of Artificial Intelligence collocated with the 32nd Conference on Artificial Intelligence, 2018. <https://aaai.org/Conferences/AAAI-18/iaai-18/>

2017

  1. Constraint Programming for Technician Scheduling in Precision agriculture
    Nicolas Briot, Sébastien Payen, Philippe Vismara
    EFITA WCCA CONGRESS, Jul 2017, Montpellier, France. 11th European conference dedicated to the future use of ICT in the agri-food sector, bioresource and biomass sector, pp.#78, 2017.
  2. Cycle-Based Singleton Local Consistencies
    Robert J. Woodward, Berthe Y. Choueiry, Christian Bessière
    AAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, United States. 31st AAAI Conference on Artificial Intelligence, pp.5005-5006, 2017.

2016

  1. An Interval Filtering Operator for Upper and Lower Bounding in Constrained Global Optimization
    Olivier Sans, Remi Coletta, Gilles Trombettoni
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San José, CA, United States. IEEE, 28th IEEE International Conference on Tools with Artificial Intelligence, pp.218-225, 2016.
  2. A Global Constraint for Closed Frequent Pattern Mining
    Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessière, Patrice Boizumault
  3. An Interval Branch and Bound Algorithm for Parameter Estimation
    Bertrand Neveu, Martin De La Gorce, Gilles Trombettoni
    GOW: Globla Optimization Workshop, Sep 2016, Braga, Portugal. 13th Globla Optimization Workshop, 2016. <http://apolo.dps.uminho.pt/gow16/>
  4. Ranking Constraints
    Christian Bessière, Emmanuel Hébrard, George Katsirelos, Toby Walsh, Zeynep Kiziltan
  5. Constraint Acquisition Using Recommendation Queries
    Abderrazak Daoudi, Younes Mechqrane, Christian Bessière, Nadjib Lazaar, El Houssine Bouyakhf
  6. Multiple Constraint Aquisition
    Robin Arcangioli, Christian Bessière, Nadjib Lazaar
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. 25th International Joint Conference on Artificial Intelligence, pp.698-704, 2016.
  7. Compilation de grammaire de propriétés pour l'analyse syntaxique par optimisation de contraintes
    Jean-Philippe Prost, Remi Coletta, Christophe Lecoutre
    TALN: Traitement Automatique des Langues Naturelles, Jul 2016, Paris, France. 23e Conférence sur le Traitement Automatique des Langues Naturelles, 2016. <https://jep-taln2016.limsi.fr/>

2015

  1. Improving a Constraint Programming Approach for Parameter Estimation
    Bertrand Neveu, Martin De La Gorce, Gilles Trombettoni
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul mare, Italy. 27th IEEE International Conference on Tools with Artificial Intelligence, 2015.
  2. Detecting Types of Variables for Generalization in Constraint Acquisition
    Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessière, El Houssine Bouyakhf
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. 27th International Conference on Tools with Artificial Intelligence, 2015. <https://sites.google.com/site/ictai2015italy/>
  3. A Constraint-Based Approach to the Differential Harvest Problem
    Nicolas Briot, Christian Bessière, Philippe Vismara
    CP: Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. 21st International Conference on Principles and Practice of Constraint Programming, pp.541-556, 2015.
  4. A General Framework for Reordering Agents Asynchronously in Distributed CSP
    Mohamed Wahbi, Younes Mechqrane, Christian Bessière, Kenneth N. Brown
    CP: Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. 21st International Conference on Principles and Practice of Constraint Programming, pp.463-479, 2015.
  5. Towards an MDD-based representation of preferences
    Noureddine Aribi, Souhila Kaci, Nadjib Lazaar
    IJCAI Joint Workshop, Jul 2015, Buenos Aires, Argentina. CEUR-WS.org, Proceedings of the IJCAI 2015 Joint Workshop on Constraints and Preferences for Configuration and Recommendation and Intelligent Techniques for Web Personalization co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), CEUR Workshop Proceedings (1440), 2015.
  6. Multi-Armed Bandits for Adaptive Constraint Propagation
    Amine Balafrej, Christian Bessière, Anastasia Paparrizou
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. 24th International Conference on Artificial Intelligence, pp.290-296, IJCAI 2015.
  7. Reasoning about Connectivity Constraints
    Christian Bessière, Emmanuel Hébrard, George Katsirelos, Toby Walsh
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. AAAI Press, 24th International Conference on Artificial Intelligence, pp.2568-2574, 2015.
  8. Reasoning about Connectivity Constraints
    Christian Bessière, Emmanuel Hébrard, George Katsirelos, Toby Walsh
    Qiang Yang. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574, 2015.
  9. Integration of Operational Constraints to Optimize Differential Harvest in Viticulture
    Nicolas Briot, Christian Bessière, Bruno Tisseyre, Philippe Vismara
    ECPA: European Conference on Precision Agriculture, Jul 2015, Tel Aviv, Israel. 10th European Conference on Precision Agriculture, 2015.
  10. Localisation de fautes à l’aide de la fouille de données sous contraintes
    Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah
    COSI: Colloque sur l'Optimisation et les Systèmes d'Information, Jun 2015, Oran, Algérie. Colloque sur l'Optimisation et les Systèmes d'Information COSI'2015, 1-3 Juin 2015, Oran, Algérie Université Oran 1, Ahmed Ben Bella, 2015. <http://www.isima.fr/cosi/cosi2015/dates.php>
  11. Towards Geographic Requirements Engineering
    Mounir Touzani, Anne Laurent, Thérèse Libourel Rouge, Joël Quinqueton
    KMIKS: Knowledge Management, Information and Knowledge Systems, Apr 2015, Hammamet, Tunisia. 2nd International Conference on Knowledge Management, Information and Knowledge Systems, 2015. <http://2015.kmiks.net>
  12. Instantiation of meta-models constrained with OCL: A CSP approach
    Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Château, Remi Coletta, Clémentine Nebut
    MODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. Proceedings of the third International Conference on Model Driven Engineering and Software Development, pp.213-222, 2015.
  13. Strong Bounds Consistencies and Their Application to Linear Constraints
    Christian Bessière, Anastasia Paparrizou, Kostas Stergiou
    AAAI Conference on Artificial Intelligence, 2015, Austin, Texas, United States. Twenty-Ninth AAAI Conference on Artificial Intelligence, pp.3717-3724, 2015.

2014

  1. Reasoning about Constraint Models
    Christian Bessière, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh
    PRICAI: Pacific Rim International Conference on Artificial Intelligence, Dec 2014, Gold Coast, Australia. 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings Pages pp 795-808, LNCS (8862), pp.795-808, 2014, PRICAI 2014: Trends in Artificial Intelligence.
  2. Maintaining Virtual Arc Consistency Dynamically during Search
    Hiep Nguyen, Simon De Givry, Thomas Schiex, Christian Bessière
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. IEEE, pp.8-15, 2014, Tools with Artificial Intelligence (ICTAI), 2014 IEEE 26th International Conference on.
  3. Solve a Constraint Problem without Modeling It
    Christian Bessière, Remi Coletta, Nadjib Lazaar
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limasso, Cyprus. IEEE, Proceedings IEEE-ICTAI’14, pp.1-7, 2014, Tools with Artificial Intelligence (ICTAI), 2014 IEEE 26th International Conference on.
  4. Learning Model Transformation Patterns using Graph Generalization
    Hajer Saada, Marianne Huchard, Michel Liquière, Clémentine Nebut
    Karell Bertet; Sebastian Rudolph. CLA: Concept Lattices and their Applications, Oct 2014, Košice, Slovakia. 11th International Conference on Concept Lattices and Their Applications, 1252, pp.11-22, 2014.
  5. Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning
    Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessière
    CP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. 20th International Conference on Principles and Practice of Constraint Programming, LNCS (8656), pp.688-704, 2014.
  6. Adaptive Parameterized Consistency for Non-Binary CSPs by Counting Supports
    Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessière
    CP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. 20th International Conference on Principles and Practice of Constraint Programming, LNCS (8656), pp.755-764, 2014.
  7. The Balance Constraint Family
    Christian Bessière, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Emilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh
    CP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. 20th International Conference on Principles and Practice of Constraint Programming, LNCS (8656), pp.174-189, 2014.
  8. Node Selection Heuristics Using the Upper Bound in Interval Branch and Bound
    Bertrand Neveu, Gilles Trombettoni, Ignacio Araya
    MAGO-GOW: Global Optimization Workshop, Sep 2014, Malaga, Spain. 2014, XII Global Optimization Workshop Mathematical Applied Global Optimization. MAGO 2014.
  9. Boosting Constraint Acquisition via Generalization Queries
    Christian Bessière, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El Houssine Bouyakhf
    ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. 21st European Conference on Artificial Intelligence, pp.099-104, 2014, Frontiers in Artificial Intelligence and Applications.
  10. Adaptive Singleton-based Consistencies
    Amine Balafrej, Christian Bessière, Gilles Trombettoni, El Houssine Bouyakhf
    AAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14), pp.2601-2607, 2014.
  11. Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation
    Clément Carbonnel, Gilles Trombettoni, Philippe Vismara, Gilles Chabert
    AAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. 28th Conference on Artificial Intelligence, pp.2630-2636, 2014.
  12. Buffered Resource Constraint: Algorithms and Complexity
    Christian Bessière, Emmanuel Hébrard, Marc-André Ménard, Claude-Guy Quimper, Toby Walsh
    CPAIOR: Integration of AI and OR Techniques in Constraint Programming, May 2014, Cork, Ireland. Springer, LNCS (8451), pp.318-333, 2014, Integration of AI and OR Techniques in Constraint Programming.

2013

  1. Adaptive Constructive Interval Disjunction
    Bertrand Neveu, Gilles Trombettoni
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2013, Washington, DC, United States. 25th International Conference on Tools with Artificial Intelligence, pp.900-906, 2013.
  2. A CSP Approach for Metamodel Instantiation
    Adel Ferdjoukh, Anne-Elisabeth Baert, Annie Château, Remi Coletta, Clémentine Nebut
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2013, Washington, United States. 25th IEEE International Conference on Tools with Artificial Intelligence, pp.1044-1051, 2013.
  3. Constrained Wine Blending
    Philippe Vismara, Remi Coletta, Gilles Trombettoni
    CP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. 19th International Conference on Principles and Practice of Constraint Programming, 2013.
  4. Asynchronous Forward Bounding Revisited
    Mohamed Wahbi, Redouane Ezzahir, Christian Bessière
    CP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. 19th International Conference on Principles and Practice of Constraint Programming, pp.708-723, 2013.
  5. Adaptive Parameterized Consistency
    Amine Balafrej, Christian Bessière, Remi Coletta, El Houssine Bouyakhf
    CP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. 19th International Conference on Principles and Practice of Constraint Programming, LNCS (8124), pp.143-158, 2013.
  6. Global Inverse Consistency for Interactive Constraint Satisfaction
    Christian Bessière, Hélène Fargier, Christophe Lecoutre
    CP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. 19th International Conference on Principles and Practice of Constraint Programming, LNCS (8124), pp.159-174, 2013.
  7. FIMO: Framework for Intrinsic Motivation
    Fabien Hervouet, Eric Bourreau
    ECAL: European Conference on Artificial Life, Sep 2013, Taormina, Italy. 12th European Conference on Artificial Life, pp.997-1004, 2013.
  8. Detecting and Exploiting Subproblem Tractability
    Christian Bessière, Clément Carbonnel, Emmanuel Hébrard, George Katsirelos, Toby Walsh
    IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. 23rd International Joint Conference on Artificial Intelligence, pp.468-474, 2013.
  9. Constraint Acquisition via Partial Queries
    Christian Bessière, Remi Coletta, Emmanuel Hébrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
    IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. 23rd International Joint Conference on Artificial Intelligence, 2013.
  10. Automatic Approach for Comparison of Study Programmes
    Alla Anohina-Naumeca, Ilze Andersone, Zohra Bellahsene, Remi Coletta, Vita Graudina, Janis Grundspenkis, Duyhoa Ngo
    CAiSE: Conference on Advanced Information Systems Engineering, Jun 2013, Valencia, Spain. 25th International Conference on Advanced Information Systems Engineering, pp.41-48, 2013.
  11. WebSmatch: a tool for Open Data
    Emmanuel Castanier, Remi Coletta, Patrick Valduriez, Christian Frisch
    WOD: Workshop on Open Data, Jun 2013, Paris, France. 2nd International Workshop on Open Data, pp.#10, 2013.
  12. Dynamic Virtual Arc Consistency
    Christian Bessière, Thomas Schiex, Hiep Nguyen
    SAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. 28th Symposium On Applied Computing, pp.098-103, 2013.

Mots-clés

Propagation de Contraintes, Contraintes Globales, Symétries, Réseaux de Fonctions de Coût, Résolution Adaptative, Contraintes Continues, Applications de la Programmation par Contraintes, Acquisition de Contraintes, Classification Automatique, Fouille de Séquences, Treillis de Galois

Dernière mise à jour le 27/06/2018