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
- Christian Bessiere, Research Director CNRS
- Clément Carbonnel, Research Fellow CNRS
- Nadjib Lazaar, Assistant Professor UM
- Gilles Trombettoni, Professor UM
Associates & Students
- Nassim Belmecheri, CDD Teaching Researcher UM
- Amel Farah Benzeghimi, PhD student Gouvernement Algérien
- Joël Quinqueton, Long-term Guest, Professor Emeritus UPV
- Verlein Radwan, PhD student UM
- Jean Sallantin, Long-term Guest, Research Director Emeritus CNRS
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
2021
- Is the optimal strategy to decide on sampling route always the same from field to field using the same sampling method to estimate yield?Baptiste Oger, Cecile Laurent, Philippe Vismara, Bruno TisseyreOENO One, Institut des Sciences de la Vigne et du Vin (Université de Bordeaux), 2021, 55 (1), pp.133-144.
- Constrained optimization of landscape indices in conservation planning to support ecological restoration in New CaledoniaDimitri Justeau-Allaire, Ghislain Vieilledent, Nicolas Rinck, Philippe Vismara, Xavier Lorca, Philippe BirnbaumJournal of Applied Ecology, Wiley, 2021, 58 (4), pp.744-754.
2020
- Point-Width and Max-CSPsClement Carbonnel, Miguel Romero, Stanislav ŽivnýACM Transactions on Algorithms, Association for Computing Machinery, 2020, 16 (4), pp.1-28.
- Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problemsYounes Mechqrane, Mohamed Wahbi, Christian Bessière, Kenneth BrownArtificial Intelligence, Elsevier, 2020, 278, pp.103169.
- Combining target sampling with within field route-optimization to optimise on field yield estimation in viticultureBaptiste Oger, Philippe Vismara, Bruno TisseyrePrecision Agriculture, Springer Verlag, In press. <10.1007/s11119-020-09744-0>
2019
- A Generic Interval Branch and Bound Algorithm for Parameter EstimationBertrand Neveu, Martin de la Gorce, Pascal Monasse, Gilles TrombettoniJournal of Global Optimization, Springer Verlag, 2019, 73 (3), pp.515-535.
2018
- Discovering Program Topoi via Hierarchical Agglomerative ClusteringCarlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib LazaarIEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2018, 67 (3), pp.758-770.
2017
- Fault localization using itemset mining under constraintsMehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia LebbahAutomated Software Engineering, Springer Verlag, 2017, 24 (2), pp.341-368.
- Constraint AcquisitionChristian Bessière, Frédéric Koriche, Nadjib Lazaar, Barry O'SullivanArtificial Intelligence, Elsevier, 2017, 244, pp.315-342.
- The Inductive Constraint Programming LoopChristian Bessière, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut SimonisIEEE Intelligent Systems, Institute of Electrical and Electronics Engineers, 2017, 32 (5), pp.44-52.
- Triangle-based consistencies for cost function networksHiep Nguyen, Christian Bessière, Simon de Givry, Thomas Schiex
2016
- Constrained global optimization for wine blendingPhilippe Vismara, Remi Coletta, Gilles TrombettoniConstraints, Springer Verlag, 2016, 21 (4), pp.597-615.
- Tractability-preserving Transformations of Global Cost FunctionsDavid Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Metivier, Thomas SchiexArtificial Intelligence, Elsevier, 2016, 238, pp.166-189.
- Strong Local Consistency Algorithms for Table ConstraintsAnastasia Paparrizou, Kostas StergiouConstraints, Springer Verlag, 2016, 21 (2), pp.163-197.
- Node selection strategies in interval Branch and Bound algorithmsBertrand Neveu, Gilles Trombettoni, Ignacio ArayaJournal of Global Optimization, Springer Verlag, 2016, 64 (2), pp.289-304.
- A Constraint Optimization Method for Large-Scale Distributed View SelectionImene Mami, Zohra Bellahsene, Remi ColettaTransactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2016, LNCS (9620), pp.71-108.
- Computing and Restoring Global Inverse Consistency in Interactive Constraint SatisfactionChristian Bessière, Hélène Fargier, Christophe Lecoutre
2015
- Adaptive constructive interval disjunction: algorithms and experimentsBertrand Neveu, Gilles Trombettoni, Ignacio ArayaConstraints, Springer Verlag, 2015, 20 (7), pp.452-467.
- Efficient algorithms for strong local consistencies and adaptive techniques in constraint satisfaction problemsAnastasia PaparrizouConstraints, Springer Verlag, 2015, 20 (4), pp.484-485.
- LC-mine: a framework for frequent subgraph mining with local consistency techniquesBrahim Douar, Michel Liquière, Chiraz Latiri, Yahya SlimaniKnowledge and Information Systems (KAIS), Springer, 2015, 44 (1), pp.1-25.
2014
- A Projection Bias in Frequent Subgraph Mining Can Make a DifferenceBrahim Douar, Chiraz Latiri, Michel Liquière, Yahya SlimaniInternational Journal on Artificial Intelligence Tools, World Scientific Publishing, 2014, 23 (5), pp.#1450005.
- Upper Bounding in Inner Regions for Global Optimization under Inequality ConstraintsIgnacio Araya, Gilles Trombettoni, Bertrand Neveu, Gilles ChabertJournal of Global Optimization, Springer Verlag, 2014, 60 (2), pp.145-164.
- Interval Methods for Model Qualification: Methodology and Advanced ApplicationJulien Alexandre Dit Sandretto, Gilles Trombettoni, David DaneyMathematics in Computer Science, Springer, 2014, 8 (3-4), pp.479-493.
- Global Constraints in Distributed Constraint Satisfaction and OptimizationChristian Bessière, Ismel Brito, Patricia Gutierrez, Pedro MeseguerThe Computer Journal, Oxford University Press (UK), 2014, 57 (6), pp.906-923.
International Communications
2020
- Omissions in Constraint AcquisitionDimosthenis Tsouros, Kostas Stergiou, Christian BessièreInternational Conference on Principles and Practice of Constraint Programming (CP), Sep 2020, Louvain-la-Neuve, Belgium. pp.935-951.
- Towards a Generic Interval Solver for Differential-Algebraic CSPSimon Rohou, Abderahmane Bedouhene, Gilles Chabert, Alexandre Goldsztejn, Luc Jaulin, Bertrand Neveu, Victor Reyes, Gilles TrombettoniInternational Conference on Principles and Practice of Constraint Programming (CP), Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565.
- Chain Length and CSPs Learnable with Few QueriesChristian Bessière, Clement Carbonnel, George Katsirelos34th AAAI Conference on Artificial Intelligence, Feb 2020, New York, United States. pp.1420-1427.
2019
- Constraint Programming for Mining Borders of Frequent ItemsetsMohamed-Bachir Belaid, Christian Bessière, Nadjib LazaarIJCAI: International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1064-1070.
- Systematic Conservation Planning for Sustainable Land-use Policies: A Constrained Partitioning Approach to Reserve Selection and Design.Dimitri Justeau-Allaire, Philippe Vismara, Philippe Birnbaum, Xavier Lorca28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. p.5902-5908. <10.24963/ijcai.2019/818>
- Combining target sampling with route-optimization to optimise yield estimation in viticultureBaptiste Oger, Philippe Vismara, Bruno Tisseyre12th European Conference on Precision Agriculture (ECPA), Jul 2019, Montpellier, France. pp.173-179.
- Point-width and Max-CSPsClement Carbonnel, Miguel Romero, Stanislav ŽivnýLICS: Logic In Computer Science, Jun 2019, Vancouver, Canada.
- Constraint Programming for Association RulesMohamed-Bachir Belaid, Christian Bessière, Nadjib LazaarSDM: SIAM International Conference on Data Mining, May 2019, Calgary, Canada. pp.127-135.
- Deploying Smart Program Understanding on a Large Code BaseCarlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib LazaarAiTest: Artificial Intelligence Testing, Apr 2019, San Francisco, United States. pp.73-80.
- A Multiple Fault Localization Approach based on Multicriteria Analytical Hierarchy ProcessNoureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi MaamarAiTest: Artificial Intelligence Testing, Apr 2019, San Francisco, United States. pp.1-8.
- Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous TrajectoriesMathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Morten MossigeAiTest: Artificial Intelligence Testing, Apr 2019, San francisco, United States. pp.121-128.
2018
- Sketched Answer Set ProgrammingSergey Paramonov, Christian Bessière, Anton Dries, Luc de RaedtICTAI: International Conference on Tools with Artificial Intelligence, Nov 2018, Volos, Greece. pp.694-701.
- An Interval Branch and Bound Algorithm for Parameter Estimation and Application to StereovisionBertrand Neveu, Martin de la Gorce, Pascal Monasse, Gilles Trombettoni14th International Workshop on Global Optimization (LeGO 2018), Sep 2018, Leiden, Netherlands. <10.1063/1.5089999>
- User's Constraints in Itemset MiningChristian Bessière, Nadjib Lazaar, Mehdi MaamarCP: Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.537-553.
- A Circuit Constraint for Multiple Tours ProblemsPhilippe Vismara, Nicolas BriotCP: Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.389-402.
- A Reactive Strategy for High-Level Consistency During SearchRobert J. Woodward, Berthe Y. Choueiry, Christian BessièreIJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.1390-1397.
- Solving Sudoku with Consistency: A Visual and Interactive ApproachIan Howel, Robert J. Woodward, Berthe Y. Choueiry, Christian BessièreIJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.5829-5831.
- Time-Bounded Query Generator for Constraint AcquisitionHajar Addi, Christian Bessière, Redouane Ezzahir, Nadjib LazaarCPAIOR: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2018, Delft, Netherlands. pp.1-17.
- Échantillonnage sous contraintes en viticulture de précisionBaptiste Oger, Bruno Tisseyre, Philippe Vismara14èmes Journées Francophones de Programmation par Contraintes (JFPC 2018), Jun 2018, Amiens, France. pp.119-122.
- Discovering Program Topoi Through ClusteringCarlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib LazaarAAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States. <https://aaai.org/Conferences/AAAI-18/iaai-18/>
2017
- Multiple Fault Localization Using Constraint Programming and Pattern MiningNoureddine Aribi, Mehdi Maamar, Nadjib Lazaar, Yahia Lebbah, Samir LoudniIEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2017, Boston, United States. pp.860-867.
- Constraint Programming for Technician Scheduling in Precision agricultureNicolas Briot, Sébastien Payen, Philippe VismaraEFITA WCCA CONGRESS, Jul 2017, Montpellier, France. pp.#78.
- Closed-Pattern : Une contrainte globale pour l’extraction de motifs fréquents fermésMehdi Maamar, Christian Bessière, Patrice Boizumault, Nadjib Lazaar, Yahia Lebbah, Valentin Lemière, Samir Loudni13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil sur Mer, France. <https://www.cril.univ-artois.fr/jfpc2017/>
- Une contrainte de circuit adaptée aux tournées multiplesNicolas Briot, Christian Bessière, Philippe Vismara13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil-sur-Mer, France. pp.137-144.
- Contraintes de ClassementChristian Bessière, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil-sur-mer, France. pp.89-90.
- Une contrainte de circuit adaptée aux tournées multiplesNicolas Briot, Philippe Vismara, Christian Bessière13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil-sur-Mer, France. pp.135-144.
- Cycle-Based Singleton Local ConsistenciesRobert J. Woodward, Berthe Y. Choueiry, Christian BessièreAAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, United States. pp.5005-5006.
2016
- Complexity Results in Optimistic/Pessimistic Preference ReasoningChristian Bessière, Remi Coletta, Gaelle Hisler, Anastasia PaparrizouICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, CA, United States. pp.930-937.
- An Interval Filtering Operator for Upper and Lower Bounding in Constrained Global OptimizationOlivier Sans, Remi Coletta, Gilles TrombettoniICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San José, CA, United States. pp.218-225.
- A Global Constraint for Closed Frequent Pattern MiningNadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessière, Patrice BoizumaultCP: Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.333-349.
- An Interval Branch and Bound Algorithm for Parameter EstimationBertrand Neveu, Martin de la Gorce, Gilles TrombettoniGOW: Globla Optimization Workshop, Sep 2016, Braga, Portugal. <http://apolo.dps.uminho.pt/gow16/>
- Constraint Acquisition Using Recommendation QueriesAbderrazak Daoudi, Younes Mechqrane, Christian Bessière, Nadjib Lazaar, El Houssine Bouyakhf
- Multiple Constraint AquisitionRobin Arcangioli, Christian Bessière, Nadjib LazaarIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.698-704.
- Ranking ConstraintsChristian Bessière, Emmanuel Hébrard, George Katsirelos, Toby Walsh, Zeynep Kiziltan
- Compilation de grammaire de propriétés pour l'analyse syntaxique par optimisation de contraintesJean-Philippe Prost, Remi Coletta, Christophe LecoutreTALN: Traitement Automatique des Langues Naturelles, Jul 2016, Paris, France. <https://jep-taln2016.limsi.fr/>
- Améliorations d'une approche de programmation par contraintes pour l'estimation de paramètresBertrand Neveu, Martin de la Gorce, Gilles Trombettoni12èmes Journées Francophones de Programmation par Contraintes (JFPC 2016), Jun 2016, Montpellier, France. <https://www.supagro.fr/jfpc_jiaf_2016/index_jfpc.php>
2015
- Detecting Types of Variables for Generalization in Constraint AcquisitionAbderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessière, El Houssine BouyakhfICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. pp.413-420.
- Improving a Constraint Programming Approach for Parameter EstimationBertrand Neveu, Martin de la Gorce, Gilles TrombettoniICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul mare, Italy. pp.852-859.
- A Constraint-Based Approach to the Differential Harvest ProblemNicolas Briot, Christian Bessière, Philippe VismaraCP: Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.541-556.
- A General Framework for Reordering Agents Asynchronously in Distributed CSPMohamed Wahbi, Younes Mechqrane, Christian Bessière, Kenneth N. BrownCP: Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.463-479.
- Towards an MDD-based representation of preferencesNoureddine Aribi, Souhila Kaci, Nadjib LazaarCPCR+ITWP@IJCAI, Jul 2015, Buenos Aires, Argentina. pp.34-34.
- Multi-Armed Bandits for Adaptive Constraint PropagationAmine Balafrej, Christian Bessière, Anastasia PaparrizouIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.290-296.
- Reasoning about Connectivity ConstraintsChristian Bessière, Emmanuel Hébrard, George Katsirelos, Toby WalshIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574.
- Integration of Operational Constraints to Optimize Differential Harvest in ViticultureNicolas Briot, Christian Bessière, Bruno Tisseyre, Philippe VismaraECPA: European Conference on Precision Agriculture, Jul 2015, Tel Aviv, Israel. pp.487-494.
- Programmation par contraintes pour la vendange sélectiveNicolas Briot, Christian Bessière, Philippe Vismara11èmes Journées Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp.51-56.
- Choix de noeud dans un algorithme de Branch and Bound sur intervallesBertrand Neveu, Gilles Trombettoni, Ignacio Araya11èmes Journées Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. <http://jfpc2015.labri.fr>
- Localisation de fautes à l’aide de la fouille de données sous contraintesMehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia LebbahCOSI: Colloque sur l'Optimisation et les Systèmes d'Information, Jun 2015, Oran, Algérie. <http://www.isima.fr/cosi/cosi2015/dates.php>
- Towards Geographic Requirements EngineeringMounir Touzani, Anne Laurent, Thérèse Libourel Rouge, Joël QuinquetonKMIKS: Knowledge Management, Information and Knowledge Systems, Apr 2015, Hammamet, Tunisia. <http://2015.kmiks.net>
- Instantiation of meta-models constrained with OCL: A CSP approachAdel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Chateau, Remi Coletta, Clémentine NebutMODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. pp.213-222.
- Strong Bounds Consistencies and Their Application to Linear ConstraintsChristian Bessière, Anastasia Paparrizou, Kostas StergiouAAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States. pp.3717-3724.
2014
- Reasoning about Constraint ModelsChristian Bessière, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby WalshPRICAI: Pacific Rim International Conference on Artificial Intelligence, Dec 2014, Gold Coast, Australia. pp.795-808.
- Solve a Constraint Problem without Modeling ItChristian Bessière, Remi Coletta, Nadjib LazaarICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limasso, Cyprus. pp.1-7.
- Maintaining Virtual Arc Consistency Dynamically during SearchHiep Nguyen, Simon de Givry, Thomas Schiex, Christian BessièreICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. pp.8-15.
- Maintaining Virtual Arc Consistency Dynamically During SearchThi Hông Hiêp Nguyên, Simon de Givry, Thomas Schiex, Christian Bessière26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2014, Limassol, Cyprus. <https://archives-publications.inrae.fr/271604.pdf>
- Learning Model Transformation Patterns using Graph GeneralizationHajer Saada, Marianne Huchard, Michel Liquière, Clémentine NebutCLA: 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.
- Adaptive Parameterized Consistency for Non-Binary CSPs by Counting SupportsRobert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian BessièreCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.755-764.
- Improving Relational Consistency Algorithms Using Dynamic Relation PartitioningAnthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian BessièreCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.688-704.
- The Balance Constraint FamilyChristian Bessière, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Emilie Picard-Cantin, Claude-Guy Quimper, Toby WalshCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.174-189.
- Node Selection Heuristics Using the Upper Bound in Interval Branch and BoundBertrand Neveu, Gilles Trombettoni, Ignacio ArayaMAGO-GOW: Global Optimization Workshop, Sep 2014, Malaga, Spain.
- Boosting Constraint Acquisition via Generalization QueriesChristian Bessière, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El Houssine BouyakhfECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.099-104.
- Q-intersection Algorithms for Constraint-Based Robust Parameter EstimationClément Carbonnel, Gilles Trombettoni, Philippe Vismara, Gilles ChabertAAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2630-2636.
- Adaptive Singleton-based ConsistenciesAmine Balafrej, Christian Bessière, Gilles Trombettoni, El Houssine BouyakhfAAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2601-2607.
- ACID : Disjonction constructive adaptative sur intervallesBertrand Neveu, Gilles Trombettoni10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France. <http://jfpc-jiaf2014.univ-angers.fr/jfpc/index.php>
- Acquisition de contraintes avec des requêtes partiellesChristian Bessière, Remi Coletta, Emmanuel Hébrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France.
- Acquisition de contraintes par requêtes de généralisationChristian Bessière, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El Houssine Bouyakhf10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France.
- Buffered Resource Constraint: Algorithms and ComplexityChristian Bessière, Emmanuel Hébrard, Marc-André Ménard, Claude-Guy Quimper, Toby WalshCPAIOR: Integration of AI and OR Techniques in Constraint Programming, May 2014, Cork, Ireland. pp.318-333.
Last update on 24/06/2019