Theme: continu/intervalles
2013
- Extraction de régions intérieures pour améliorer le majorant en optimisation globale sous contraintes (2013). [paper]
Ignacio Araya Gilles Trombettoni Bertrand Neveu Gilles Chabert JFPC - 9\`{e}mes Journées Francophones de Programmation par Contraintes (JFPC 2013),
2012
- IbexOpt : un module d'optimisation globale sous contraintes fiable (2012). [paper]
Gilles Trombettoni Ignacio Araya Bertrand Neveu Gilles Chabert ROADEF 2012, - UpperBounding in Inner Regions for Global Optimization under Inequality Constraints (2012). [paper]
Ignacio Araya Gilles Trombettoni Bertrand Neveu Gilles Chabert Global Optimization Workshop (GOW 12),
2011
- Octagonal Domains for Continuous Constraints (2011).
Marie Pelleau Charlotte Truchet Frédéric Benhamou 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science - Inner Regions and Interval Linearizations for Global Optimization (2011). [paper]
Gilles Trombettoni Ignacio Araya Bertrand Neveu Gilles Chabert AAAI, pp. 99--104. - Au-delà des produits cartésiens de domaines : l'exemple des octogones (2011).
Marie Pelleau Charlotte Truchet Frédéric Benhamou 7èmes Journées Francophones de Programmation par Contraintes (JFPC'11), - Multi-Agent Electro-Location and the Among Constraint (2011).
[hal]
[paper]
Gilles Chabert Frédéric Boyer Sophie Demassey Technical report 00598712, INRIA. - Régions intérieures et linéarisations par intervalles en optimisation globale (2011). [paper]
Gilles Trombettoni Ignacio Araya Bertrand Neveu Gilles Chabert JFPC - 7\`{e}mes Journées Francophones de Programmation par Contraintes (JFPC 2011),
2010
- Resolution of Nonlinear Interval Problems using Symbolic Interval Arithmetic (2010).
[doi]
[paper]
Luc Jaulin Gilles Chabert Engineering Applications of Artificial Intelligence 23(6) - 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. - 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
- Contractor Programming (2009).
[hal]
[doi]
[paper]
Gilles Chabert Luc Jaulin Artificial Intelligence 173(11): 1079-1100. - A Priori Error Analysis and Spring Arithmetic (2009).
[hal]
[paper]
Gilles Chabert Luc Jaulin SIAM Journal of Scientific Computing 31(3): 2214-2230. - A Constraint on the Number of Distinct Vectors with Application to Localization (2009).
[hal]
[paper]
Gilles Chabert Luc Jaulin Xavier Lorca 15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 196-210. - Hull Consistency Under Monotonicity (2009).
[hal]
[paper]
Gilles Chabert Luc Jaulin 15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 188-195. - Interval Constraints (2009).
[hal]
[doi]
Frédéric Benhamou In Encyclopedia of Optimization, pp. 1733-1736. Springer, - A Spatio-temporal Reasoning System for Virtual Camera Planning (2009).
[hal]
[doi]
Fabrice Lamarche Marc Christie Frédéric Benhamou 9th International Symposium on Smart Graphics (SG'09), Salamanca, Espagne. pp. 119-127. - Sonet Network Design Problems (2009).
[hal]
[doi]
Marie Pelleau Pascal Van Hentenryck Charlotte Truchet 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09), pp. 81-95.
2008
- A Branch and Bound Algorithm for Numerical MAX-CSP (2008).
[hal]
[doi]
[paper]
Jean-Marie Normand Alexandre Goldsztejn Marc Christie Frédéric Benhamou 14th International Conference on Principles and Practice of Constraint Programming (CP'08), Sydney, Australia. Lecture Notes in Computer Science 5202: 205--219. - A tabu search method for interval constraints (2008).
[hal]
Charlotte Truchet Marc Christie Jean-Marie Normand 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08), Paris, France. Lecture Notes in Computer Science 5015: 372--376. - Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production (2008).
[hal]
[paper]
[slides]
Emmanuel Poder Nicolas Beldiceanu International Conference on Automated Planning and Scheduling (ICAPS'08), Sidney, Australia. - Placement de caméra en environnements virtuels (2008).
Jean-Marie Normand PhD Thesis, Université de Nantes. - Occlusion-free Camera Control (2008).
[hal]
Marc Christie Patrick Olivier Jean-Marie Normand Technical report 6640, INRIA Rennes.
2006
- Calcul d'approximation intérieure pour la résolution de CSPs numériques (2006).
[hal]
Marc Christie Jean-Marie Normand Charlotte Truchet 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France.
2004
- Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption (2004).
[hal]
Emmanuel Poder Nicolas Beldiceanu Éric Sanlaville European Journal of Operational Research 153: 239-254.
2000
- Cumulative constraint for trapezoid resource requirement (2000).
Emmanuel Poder Nicolas Beldiceanu 17th International Symposium on Mathematical Programming (ISMP'00), Atlanta, USA.
1998
- Dynamic domain splitting for numeric CSP (1998). [paper]
Narendra Jussien Olivier Lhomme European Conference on Artificial Intelligence (ECAI'98), Brighton, United Kingdom. pp. 224-228. - About avoidable computations in Interval methods (1998). [paper]
Narendra Jussien Olivier Lhomme IMACS/GAMM international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'98), Budapest, Hungary. pp. 66.
1997
- Dynamic Backtracking with Constraint Propagation - Application to numeric CSPs (1997). [paper]
Narendra Jussien Olivier Lhomme CP'97 Workshop on The Theory and Practice of Dynamic Constraint Satisfaction, Schloss Hagenberg, Austria.