Project-Team Tasc
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

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

  • 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


previous Previous | up Home