COCONUT: Agents, Apprentissage, Contraintes

The COCONUT team‘s research activities center on Constraint Programming, with a special focus on constraint propagation, global constraints, constraint
acquisition, data mining, validation, and interval/ continuous constraint programming. The team is also interested in applications in precision agriculture.

Members

Staff

Associates & Students

Regular Co-workers

  • Philippe Vismara, Professor ENSAM

Team web site (News, Presentation, Publications, Seminars ...) : http://www.lirmm.fr/coconut

Publications 2014 - 2019: Evaluation period

International Journals

2019

  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, 2019, 73 (3), pp.515-535.

2018

  1. Discovering Program Topoi via Hierarchical Agglomerative Clustering
    Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
    IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2018, 67 (3), pp.758-770.

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), pp.#1450005.
  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.

International Communications

2019

  1. Point-width and Max-CSPs
    Clément Carbonnel, Miguel Romero, Stanislav Živný
    LICS: Logic In Computer Science, Jun 2019, Vancouver, Canada.
  2. Constraint Programming for Association Rules
    Mohamed-Bachir Belaid, Christian Bessière, Nadjib Lazaar
    SDM: SIAM International Conference on Data Mining, May 2019, Calgary, Canada. pp.127-135.
  3. Deploying Smart Program Understanding on a Large Code Base
    Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
    AiTest: Artificial Intelligence Testing, Apr 2019, San Francisco, United States. pp.73-80.
  4. A Multiple Fault Localization Approach based on Multicriteria Analytical Hierarchy Process
    Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar
    AiTest: Artificial Intelligence Testing, Apr 2019, San Francisco, United States. pp.1-8.
  5. Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories
    Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Morten Mossige
    AiTest: Artificial Intelligence Testing, Apr 2019, San francisco, United States. pp.121-128.

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. <https://www.universiteitleiden.nl/en/events/2018/09/lego-workshop-2018>
  2. User's Constraints in Itemset Mining
    Christian Bessière, Nadjib Lazaar, Mehdi Maamar
    CP: Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.537-553.
  3. A Circuit Constraint for Multiple Tours Problems
    Philippe Vismara, Nicolas Briot
    CP: Constraint Programming, Aug 2018, Lille, France. pp.389-402.
  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. pp.5829-5831.
  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. pp.1390-1397.
  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. pp.1-17.
  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. pp.119-122.
  8. Discovering Program Topoi Through Clustering
    Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
    AAAI: American Association for Artificial intelligence, Feb 2018, New Orleans, Louisiana, United States. <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. pp.#78.
  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. pp.5005-5006.

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. pp.218-225.
  2. Complexity Results in Optimistic/Pessimistic Preference Reasoning
    Christian Bessière, Remi Coletta, Gaelle Hisler, Anastasia Paparrizou
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, CA, United States. pp.930-937.
  3. A Global Constraint for Closed Frequent Pattern Mining
    Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessière, Patrice Boizumault
  4. 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. <http://apolo.dps.uminho.pt/gow16/>
  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. pp.698-704.
  7. Ranking Constraints
    Christian Bessière, Emmanuel Hébrard, George Katsirelos, Toby Walsh, Zeynep Kiziltan
  8. 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. <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. pp.852-859.
  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. pp.413-420.
  3. 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. pp.463-479.
  4. 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. pp.541-556.
  5. Towards an MDD-based representation of preferences
    Noureddine Aribi, Souhila Kaci, Nadjib Lazaar
    CPCR+ITWP@IJCAI, Jul 2015, Buenos Aires, Argentina. pp.34-34.
  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. pp.290-296.
  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. pp.2568-2574.
  8. 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. pp.487-494.
  9. 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. <http://www.isima.fr/cosi/cosi2015/dates.php>
  10. 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. <http://2015.kmiks.net>
  11. Instantiation of meta-models constrained with OCL: A CSP approach
    Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Chateau, Remi Coletta, Clémentine Nebut
    MODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. pp.213-222.
  12. Strong Bounds Consistencies and Their Application to Linear Constraints
    Christian Bessière, Anastasia Paparrizou, Kostas Stergiou
    AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States. pp.3717-3724.

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. pp.795-808.
  2. 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. pp.1-7.
  3. 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. pp.8-15.
  4. Learning Model Transformation Patterns using Graph Generalization
    Hajer Saada, Marianne Huchard, Michel Liquière, Clémentine Nebut
    CLA: Concept Lattices and their Applications, Institute of Computer Science, Pavol Jozef Šafárik University in Košice, Ondrej Krídlo, Oct 2014, Košice, Slovakia. pp.11-22.
  5. 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. pp.755-764.
  6. 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. pp.688-704.
  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. pp.174-189.
  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.
  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. pp.099-104.
  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. pp.2601-2607.
  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. pp.2630-2636.
  12. Acquisition de contraintes par requêtes de généralisation
    Christian Bessière, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El Houssine Bouyakhf
    JFPC: Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France.
  13. 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. pp.318-333.

Tags

Constraint Propagation, Global Constraints, Symmetries, Cost Function Networks, Adaptive Solving, Continuous Constraints, Applications of Constraint Programming, Constraint Acquisition, Clustering, Sequence mining, Galois lattices, Distributed constraint reasoning

Last update on 24/06/2019