EN FR
EN FR


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, no 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, no 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, no 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, no 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

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, no 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, no 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, no 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