englishTASC - INRIA Rennes - LINA CNRS UMR 6241

Type: Conférences majeures en PPC/AI

2013

2012

2011

2010

  • Sweeping with Continous Domains (2010). [slides]
    Gilles Chabert Nicolas Beldiceanu 16th International Conference on Principles and Practice of Constraint Programming (CP'10), St Andrews, Scotland. Lecture Notes in Computer Science 6308: 137--151.
  • A Box-Consistency Contractor based on Extremal Functions (2010).
    Gilles Trombettoni Yves Papegay Gilles Chabert Odile Pourtallier 16th International Conference on Principles and Practice of Constraint Programming (CP'10), St Andrews, Scotland. Lecture Notes in Computer Science 6308: 491--498.
  • The increasing-nvalue Constraint (2010). [paper] [slides]
    Nicolas Beldiceanu Fabien Hermenier Xavier Lorca Thierry Petit 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), Bologna, Italy. Lecture Notes in Computer Science 6140: 25--39.
  • On Matrices, Automata and Double Counting (2010). [slides]
    Nicolas Beldiceanu Mats Carlsson Pierre Flener Justin Pearson 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), Bologna, Italy. Lecture Notes in Computer Science 6140: 10--24.
  • Abstract Domains for Constraint Programming, with the Example of Octagons (2010). [doi]
    Charlotte Truchet Marie Pelleau Frédéric Benhamou 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 72-79.

2009

2008

2007

2006

  • Graph-Based Filtering (2006). [hal] [doi]
    Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit 12th International Conference on Principles and Practice of Constraint Programming (CP'06), Nantes, France. Lecture Notes in Computer Science 4204: 59-74.
  • Undirected Forest Constraints (2006). [hal] [paper]
    Nicolas Beldiceanu Irit Katriel Xavier Lorca 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), Cork, Ireland. Lecture Notes in Computer Science 3990: 29-43.

2005

2004

  • Decomposition and learning for a real time task allocation problem (2004). [paper]
    Hadrien Cambazard Pierre-Emmanuel Hladik Anne-Marie Déplanche Narendra Jussien Yvon Trinquet 10th International Conference on Principles and Practice of Constraint Programming (CP'04), Toronto, Canada. Lecture Notes in Computer Science 3258: 153-167.
  • Deriving Filtering Algorithms from Constraint Checkers (2004). [slides]
    Nicolas Beldiceanu Mats Carlsson Thierry Petit 10th International Conference on Principles and Practice of Constraint Programming (CP'04), Lecture Notes in Computer Science 3258: 107-122.
  • Cost Evaluation of Soft Global Constraints (2004).
    Nicolas Beldiceanu Thierry Petit 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'04), Nice, France. Lecture Notes in Computer Science 3011: 80-95.
  • Filtering Algorithms for the Same (2004).
    Nicolas Beldiceanu Irit Katriel Sven Thiel 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR'04), Nice, France. Lecture Notes in Computer Science 3011: 65-79.
  • The Period Constraint (2004). [slides]
    Nicolas Beldiceanu Emmanuel Poder International Conference on Logic Programming (ICLP'04), Lecture Notes in Computer Science

2003

2002

2001

2000

1997

1996

1993

1991

W3C: XHTML - last update: 2013-07-26. SD.
up