Publications dans le domaine des CSP numériques (contraintes sur intervalles continus) : cohérences partielles et méthodes de filtrage

I. Araya, B. Neveu, G.Trombettoni
An Interval Extension Based on Occurrence Grouping
Computing Journal, volume 94, issue 2, pages 173-188, 2012. pdf

I. Araya, G. Trombettoni, B. Neveu
A Contractor Based on Convex Interval Taylor
9th international CPAIOR conference, Nantes, pp 1-16, LNCS 7298, Springer 2012 pdf

I. Araya, B. Neveu, G. Trombettoni
Exploiter les sous-expressions communes dans les CSP numériques
Actes des journées JFPC 2008, Nantes, France pdf

I. Araya, B. Neveu, G. Trombettoni
Exploiting Common Subexpressions in Numerical CSPs Principles and Practice of Constraint Programming CP 2008, Sydney, Australia, LNCS, vol 5002, pages 342-357, Springer pdf

C. Grandon, G. Chabert, B. Neveu
Generalized Interval Projection: A New Technique for Consistent Domain Extension
IJCAI, Hyderabad, India, 2007. pdf

C. Grandon, B. Neveu
A Specific Quantifier Elimination for Inner Box Test in Distance Constraints with Uncertainties
Research Report number 5883, INRIA, April 2006, report

G. Chabert, G. Trombettoni, B. Neveu
IGC : une nouvelle consistance partielle pour les CSPs continus
1res journées francophones de programmation par contraintes (JFPC 2005), Lens, pages 199-210, juin 2005 postscript

G Chabert, G. Trombettoni, B. Neveu
Box-Set Consistency for interval-based constraint problems
SAC - 20th ACM Symposium on Applied Computing Santa Fe, USA, mars 2005. postscript

C.Grandon, B.Neveu
Using Constraint Programming for Solving Distance CSP with Uncertainty
Proc. of CP'05, Eleventh International Conference on Principles and Practice of Constraint Programming, Sitges, Espagne, octobre 2005, Springer LNCS 3709, page 847

G. Chabert, G. Trombettoni, B. Neveu
New light on arc-consistency over continous domains
Proc. CP'04 First International Workshop on Constraint Propagation and Implementation , Toronto, Canada postscript