EN FR
EN FR


previous Previous | up Home


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

  • 16I. Araya, G. Trombettoni, B. Neveu, G. Chabert.

    Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints, in: Journal of Global Optimization, October 2014, vol. 60, no 2, pp. 145-164.

    https://hal-enpc.archives-ouvertes.fr/hal-01061701
  • 17N. Beldiceanu, P. Flener, J.-N. Monette, J. Pearson, H. Simonis.

    Toward sustainable development in constraint programming, in: Constraints, April 2014, 11 p. [ DOI : 10.1007/s10601-013-9152-4 ]

    https://hal.inria.fr/hal-01086761
  • 18Y. Caniou, P. Codognet, F. Richoux, D. Diaz, S. Abreu.

    Large-scale parallelism for constraint-based local search: the costas array case study, in: Constraints, 2014, pp. 30-56. [ DOI : 10.1007/s10601-014-9168-4 ]

    https://hal.archives-ouvertes.fr/hal-01084270
  • 19B. Crawford, F. Johnson, R. Soto, E. Monfroy, E. Monfroy.

    A Max-Min Ant System algorithm to solve the Software Project Scheduling Problem, in: Expert Systems with Applications: An International Journal, November 2014, pp. 6634-6645.

    https://hal.archives-ouvertes.fr/hal-01088399
  • 20T. Lapègue, J.-G. Fages.

    Filtering AtMostNValue with difference constraints : Application to the shift minimisation personnel task scheduling problem, in: Artificial Intelligence, April 2014, vol. 212, pp. 116-133.

    https://hal.archives-ouvertes.fr/hal-01062291
  • 21A. Letort, M. Carlsson, N. Beldiceanu.

    Synchronized sweep algorithms for scalable scheduling constraints, in: Constraints, October 2014, 52 p. [ DOI : 10.1007/s10601-014-9172-8 ]

    https://hal.inria.fr/hal-01086765
  • 22X. Lorca, J.-G. Fages, L.-M. Rousseau.

    The salesman and the tree, in: Constraints, December 2014, pp. 318-333. [ DOI : 10.1007/s10601-014-9178-2 ]

    https://hal.archives-ouvertes.fr/hal-01097544
  • 23X. Lorca, C. Prud'Homme, N. Jussien.

    Explanation-Based Large Neighborhood Search, in: Constraints, October 2014, vol. 19, no 4, pp. 339-379. [ DOI : 10.1007/s10601-014-9166-6 ]

    https://hal.archives-ouvertes.fr/hal-01087844
  • 24E. Monfroy.

    Book review: A Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederliński, in: Theory and Practice of Logic Programming, 2014, pp. 1-2.

    https://hal.archives-ouvertes.fr/hal-01088418

International Conferences with Proceedings

  • 25N. Beldiceanu, M. Carlsson, P. Flener, M. Andreina, J. Pearson.

    Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators, in: CP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France, B. O'Sullivan (editor), Principles and Practice of Constraint Programming, Springer, September 2014, vol. 8656, 15 p. [ DOI : 10.1007/978-3-319-10428-7_13 ]

    https://hal.inria.fr/hal-01086755
  • 26N. Beldiceanu, P. Flener, J. Pearson, P. Van Hentenryck.

    Propagating Regular Counting Constraints, in: Twenty-Eighth AAAI Conference on Artificial Intelligence, Québec, Canada, C. E. Brodley, P. Stone (editors), Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 2014.

    https://hal.inria.fr/hal-01086758
  • 27C. Carbonnel, G. Trombettoni, P. Vismara, G. Chabert.

    Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation, in: AAAI'14 - Twenty-Eighth Conference on Artificial Intelligence, Québec City, Canada, July 2014, pp. 2630-2636.

    https://hal.archives-ouvertes.fr/hal-01084606
  • 28B. Crawford, F. Paredes, C. Zec, R. Soto, E. Monfroy.

    Easy Modeling of Open Pit Mining Problems via Constraint Programming, in: HCI International 2014, Heraklion, Greece, Communications in Computer and Information Science, Springer, June 2014, pp. 519-522.

    https://hal.archives-ouvertes.fr/hal-01088414
  • 29B. Crawford, F. Paredes, R. Zuniga, E. Monfroy, E. Monfroy.

    Modeling Manufacturing Cell Design Problems: CP vs. MH, in: HCI International 2014, Heraklion, Greece, Communications in Computer and Information Science, Springer, June 2014, pp. 498-502.

    https://hal.archives-ouvertes.fr/hal-01088412
  • 30B. Crawford, R. Soto, R. Herrera, R. Herrera, E. Monfroy, F. Paredes.

    Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers, in: HCI International 2014 -, Heraklion, Greece, Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers, Springer, June 2014, pp. 165-168.

    https://hal.archives-ouvertes.fr/hal-01088410
  • 31B. Crawford, R. Soto, E. Monfroy, F. Johnson.

    Self-adaptive Systems: Facilitating the Use of Combinatorial Problem Solvers, in: HCI International 2014, Heraklion, Greece, Communications in Computer and Information Science, Springer, June 2014, pp. 503-508.

    https://hal.archives-ouvertes.fr/hal-01088413
  • 32A. Derrien, T. Petit.

    A New Characterization of Relevant Intervals for Energetic Reasoning, in: Principles and Practice of Constraint Programming, Lyon, France, September 2014, pp. 289 - 297. [ DOI : 10.1007/978-3-319-10428-7_22 ]

    https://hal.archives-ouvertes.fr/hal-01084436
  • 33A. Derrien, T. Petit, S. Zampelli.

    A Declarative Paradigm for Robust Cumulative Scheduling, in: CP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France, B. O'Sullivan (editor), Lecture Notes in Computer Science (LNCS), Springer, September 2014, vol. 8656, pp. 298-306.

    https://hal.archives-ouvertes.fr/hal-01084256
  • 34J.-G. Fages, X. Lorca, T. Petit.

    Self-decomposable Global Constraints, in: ECAI - 21st International Conference on Artificial Intelligence, Prague, Czech Republic, August 2014.

    https://hal.archives-ouvertes.fr/hal-01088964
  • 35F. Lardeux, E. Monfroy.

    From Declarative Set Constraint Models to "Good" SAT Instances, in: Artificial Intelligence and Symbolic Computation, Seville, Spain, Lecture Notes in Artificial Intelligence, Springer, December 2014.

    https://hal.archives-ouvertes.fr/hal-01088416
  • 36F. Richoux, A. Uriarte, S. Ontañón.

    Walling in Strategy Games via Constraint Optimization, in: Tenth Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, Raleigh, United States, 2014.

    https://hal.archives-ouvertes.fr/hal-01084271
  • 37I. Salas, G. Chabert, A. Goldsztejn.

    The Non-overlapping Constraint between Objects Described by Non-linear Inequalities, in: The 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France, Principles and Practice of Constraint Programming, Barry O'Sullivan, September 2014, vol. 8656, pp. 672 - 687. [ DOI : 10.1007/978-3-319-10428-7_49 ]

    https://hal.archives-ouvertes.fr/hal-01084612

National Conferences with Proceedings

  • 38A. Derrien.

    Une nouvelle caractérisation des intervalles d'intérêt pour le raisonnement énergétique, in: JFPC, Angers, France, June 2014.

    https://hal.archives-ouvertes.fr/hal-01074521
  • 39I. Salas, G. Chabert, A. Goldsztejn.

    The non-overlapping constraint between objects described by non-linear inequalities, in: Journées Francophones de Programmation par Contraintes (JFPC), Angers, France, June 2014.

    https://hal.archives-ouvertes.fr/hal-01079579

Other Publications

References in notes
  • 41I. Araya, G. Trombettoni, B. Neveu.

    Exploiting Monotonicity in Interval Constraint Propagation, in: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, 2010.
  • 42A. Goldsztejn, F. Domes, B. Chevalier.

    First order rejection tests for multiple-objective optimization, in: J. Global Optimization, 2014, vol. 58, no 4, pp. 653–672.


previous Previous | up Home