Bibliography

Major publications by the team in recent years

• 1N. Beldiceanu, M. Carlsson, S. Demassey, T. Petit.
  
  Global Constraint Catalog: Past, Present and Future, in: Constraints, 2007, vol. 12, n^o 1, pp. 21-62.
  
  http://hal.archives-ouvertes.fr/hal-00481554/en/
• 2N. Beldiceanu, M. Carlsson, E. Poder, R. Sadek, C. Truchet.
  
  A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects, in: 13th International on Principles and Practice of Constraint Programming (CP'07) 13th International on Principles and Practice of Constraint Programming (CP'07), Brown États-Unis, 2007, vol. 4741, pp. 180-194.
  
  http://hal.archives-ouvertes.fr/hal-00481558/en/
• 3N. Beldiceanu, P. Flener, X. Lorca.
  
  Combining tree Partitioning, Precedence, and Incomparability Constraints, in: Constraints, 2008, vol. 13, n^o 4, pp. 459-489. [ DOI : 10.1007/s10601-007-9040-x ]
  
  http://hal.archives-ouvertes.fr/hal-00481533/en/
• 4C. Bessiere, R. Debruyne.
  
  Theoretical Analysis of Singleton Arc Consistency and Its Extensions", in: Artificial Intelligence, 01 2008, vol. 172, n^o 1, pp. 29-41.
  
  http://hal-lirmm.ccsd.cnrs.fr/lirmm-00230949/en/
• 5C. Bessiere, T. Petit, B. Zanuttini.
  
  Making Bound Consistency as Effective as Arc Consistency, in: IJCAI'09, 2009.
  
  http://hal-lirmm.ccsd.cnrs.fr/lirmm-00382609/en/
• 6H. Cambazard, N. Jussien.
  
  Identifying and exploiting problem structures using explanation-based constraint programming, in: Constraints, 2006, vol. 11, n^o 4, pp. 295-313. [ DOI : 10.1007/s10601-006-9002-8 ]
  
  http://hal.archives-ouvertes.fr/hal-00293899/en/
• 7G. Chabert, N. Beldiceanu.
  
  Sweeping with Continous Domains, in: 16th International Conference on Principles and Practice of Constraint Programming (CP'10), St Andrews, Scotland, D. Cohen (editor), Lecture Notes in Computer Science, Springer-Verlag, 2010, vol. 6308, pp. 137-151.
• 8G. Chabert, L. Jaulin.
  
  Contractor Programming, in: Artificial Intelligence, 2009, vol. 173, pp. 1079-1100. [ DOI : 10.1016/j.artint.2009.03.002 ]
  
  http://hal.archives-ouvertes.fr/hal-00428957/en/
• 9F. Hermenier, X. Lorca, J.-M. Menaud, G. Müller, J. Lawall.
  
  Entropy: a Consolidation Manager for Clusters, in: International conference on Virtual execution environments, 2009.
  
  https://hal.inria.fr/hal-01102354v1
• 10J.-M. Normand, A. Goldsztejn, M. Christie, F. Benhamou.
  
  A Branch and Bound Algorithm for Numerical MAX-CSP, in: LNCS The 14th International Conference on Principles and Practice of Constraint Programming, Australie, 09 2008, vol. 5202/2008, pp. 205-219, Best student paper award. [ DOI : 10.1007/978-3-540-85958-1_14 ]
  
  http://hal.archives-ouvertes.fr/hal-00481180/en/

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 11A. Derrien.
  
  Cumulative scheduling in constraint programming : energetic characterization of reasoning and robust solutions, Ecole des Mines de Nantes, November 2015.
  
  https://tel.archives-ouvertes.fr/tel-01242789

Articles in International Peer-Reviewed Journals

• 12N. Beldiceanu, M. Carlsson, R. Douence, H. Simonis.
  
  Using finite transducers for describing and synthesising structural time-series constraints, in: Constraints, August 2015, 19 p. [ DOI : 10.1007/s10601-015-9200-3 ]
  
  https://hal.inria.fr/hal-01186662
• 13Y. Caniou, P. Codognet, F. Richoux, D. Diaz, S. Abreu.
  
  Large-scale parallelism for constraint-based local search: the costas array case study, in: Constraints, January 2015, vol. 20, n^o 1, pp. 30-56. [ DOI : 10.1007/s10601-014-9168-4 ]
  
  https://hal.archives-ouvertes.fr/hal-01084270
• 14E. Monfroy, F. Lardeux, B. Crawford, R. Soto.
  
  Set constraint model and automated encoding into SAT: application to the social golfer problem, in: Annals of Operations Research, 2015. [ DOI : 10.1007/s10479-015-1914-5 ]
  
  https://hal.archives-ouvertes.fr/hal-01234185
• 15N. Narodytska, T. Petit, M. Siala, T. Walsh.
  
  Three generalizations of the FOCUS constraint, in: Constraints, December 2015. [ DOI : 10.1007/s10601-015-9233-7 ]
  
  https://hal.archives-ouvertes.fr/hal-01238445
• 16R. Soto, B. Crawford, W. Palma, K. Galleguillos, C. Castro, E. Monfroy, F. Paredes, F. Johnson.
  
  Boosting autonomous search for CSPs via skylines, in: Information Sciences, 2015, vol. 308, n^o july, pp. 38-48. [ DOI : 10.1016/j.ins.2015.01.035 ]
  
  https://hal.archives-ouvertes.fr/hal-01146260
• 17C. Truchet, A. Arbelaez, F. Richoux, P. Codognet.
  
  Estimating parallel runtimes for randomized algorithms in constraint solving, in: Journal of Heuristics, 2015. [ DOI : 10.1007/s10732-015-9292-3 ]
  
  https://hal.archives-ouvertes.fr/hal-01248168

Articles in Non Peer-Reviewed Journals

• 18F. Richoux, Y. Caniou, P. Codognet, R. Suda.
  
  A Massively Parallel Combinatorial Optimization Algorithm for the Costas Array Problem, in: Supercomputing News, 2015, vol. 17, n^o 1, pp. 44-53.
  
  https://hal.archives-ouvertes.fr/hal-01248169

International Conferences with Proceedings

• 19A. Balafrej, C. Bessiere, A. Paparrizou.
  
  Multi-Armed Bandits for Adaptive Constraint Propagation, in: The Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 2015.
  
  https://hal.archives-ouvertes.fr/hal-01234361
• 20N. Beldiceanu, B. Dumas Feris, P. GRAVEY, M. S. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J.-M. Menaud, P. Morel, M. Morvan, M.-L. Moulinard, A.-C. Orgerie, J.-L. Pazat, O. Roux, A. Sharaiha.
  
  The EPOC project: Energy Proportional and Opportunistic Computing system, in: International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), Lisbonne, Portugal, May 2015.
  
  https://hal.archives-ouvertes.fr/hal-01131602
• 21A. Derrien, J.-G. Fages, T. Petit, C. Prud'Homme.
  
  A Global Constraint for a Tractable Class of Temporal Optimization Problems, in: Principles and Practice of Constraint Programming, CP 2015, Cork, Ireland, G. Pesant (editor), Springer, August 2015, vol. 9255. [ DOI : 10.1007/978-3-319-23219-5_8 ]
  
  https://hal.archives-ouvertes.fr/hal-01241079
• 22F. Julien, F. Richoux.
  
  Robustness and Flexibility of GHOST, in: AAAI Artificial Intelligence in Adversarial Real-Time Games Workshop, Santa Cruz, United States, November 2015, Dans les actes de AAAI Eleventh Conference on Artificial Intelligence and Interactive Digital Entertainment.
  
  https://hal.archives-ouvertes.fr/hal-01175884
• 23F. Lardeux, E. Monfroy.
  
  Expressively Modeling the Social Golfer Problem into SAT, in: International Conference on Computational Science - ICCS 2015, Reykjavík, Iceland, Procedia Computer Science, Elsevier, June 2015, In press.
  
  https://hal.archives-ouvertes.fr/hal-01146271
• 24T. Petit, A. C. Trapp.
  
  Assessing Both Solution Diversity and Solution Quality in Constraint Programming, in: 14th INFORMS Computing Society Conference, Richmond, United States, December 2015.
  
  https://hal.archives-ouvertes.fr/hal-01238448
• 25A. Reyes Amaro, E. Monfroy, F. Richoux.
  
  A Parallel-Oriented Language for Modeling Constraint-Based Solvers, in: Workshop on Multi/Many-core computing for parallel Metaheuristics (McM’2015), Agadir, Morocco, 2015.
  
  https://hal.archives-ouvertes.fr/hal-01248170
• 26I. Salas, G. Chabert.
  
  Packing Curved Objects, in: Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, July 2015, 396 p.
  
  https://hal.archives-ouvertes.fr/hal-01148155

National Conferences with Proceedings

• 27A. Reyes Amaro, E. Monfroy, F. Richoux.
  
  Un langage orienté parallèle pour modéliser des solveurs de contraintes, in: Onzièmes Journées Francophones de Programmation par Contraintes (JFPC), Bordeaux, France, 2015.
  
  https://hal.archives-ouvertes.fr/hal-01248171
• 28F. Richoux.
  
  Problèmes d'optimisation dans les jeux avec GHOST, in: Applications Pratiques de l'Intelligence Artificielle (APIA), Rennes, France, 2015.
  
  https://hal.archives-ouvertes.fr/hal-01248172

Conferences without Proceedings

• 30A. Bart, C. Truchet, E. Monfroy.
  
  Contraintes sur des flux appliquées a la vérification de programmes audio, in: Onzièmes Journées Francophones de Programmation par Contraintes, Bordeaux, France, June 2016.
  
  https://hal.archives-ouvertes.fr/hal-01234179
• 31N. Beldiceanu, M. Carlsson, P. Flener, X. Lorca, J. Pearson, T. Petit, C. Prud'Homme.
  
  A Modelling Pearl with Sortedness Constraints, in: Global conference on artificial intelligence, Tbilisi, Georgia, October 2015.
  
  https://hal.inria.fr/hal-01186680
• 32A. EL DOR, P. Siarry.
  
  Effect of the dynamic topology on the performance of PSO-2S algorithm for continuous optimization, in: Machine Learning, Optimization, and Big Data : First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 2015.
  
  https://hal.inria.fr/hal-01237446
• 33A. Goldsztejn, S. Caro, G. Chabert.
  
  A New Methodology for Tolerance Synthesis of Parallel Manipulators, in: IFToMM 2015, Taipei, Taiwan, 2015. [ DOI : 10.6567/IFToMM.14TH.WC.OS12.017 ]
  
  https://hal.archives-ouvertes.fr/hal-01238717

Other Publications

• 34F. Richoux, J.-F. Baffier, A. Uriarte.
  
  GHOST: A Combinatorial Optimization Solver for RTS-related Problems, May 2015, working paper or preprint.
  
  https://hal.archives-ouvertes.fr/hal-01152231