Publications dans l'équipe Contraintes du CERMICS, puis dans le projet COPRIN, puis dans l'équipe A3SI-Imagine du LIGM

2018

Bertrand Neveu, Martin De La Gorce, Pascal Monasse, Gilles Trombettoni.
An Interval Branch and Bound Algorithm for Parameter Estimation and Application to Stereovision
LeGO: 14th International Workshop on Global Optimization, Leiden, Pays Bas

Nicolás Rojas-Morales, María-Cristina Riff, Bertrand Neveu.
Feasibility and Availability based Heuristics for ACO algorithms solving Binary CSP
IEEE Congress on Evolutionary Computation, Jul 2018, Rio de Janeiro, Brazil

Bertrand Neveu, Martin De La Gorce, Pascal Monasse, Gilles Trombettoni.
A Generic Interval Branch and Bound Algorithm for Parameter Estimation
Journal of Global Optimization, Springer Verlag, on line 2018

2017

Ignacio Araya, Bertrand Neveu
Lsmear: a variable selection strategy for interval branch and bound solvers
Journal of Global Optimization, on line 2017

2016

Bertrand Neveu, Gilles Trombettoni, Ignacio Araya
Node Selection Strategies in Interval Branch and Bound Algorithms
Journal of Global Optimization,64 (2), pages 289-304, 2016

Maria Cristina Riff, Juan Pablo Cares, Bertrand Neveu
RASON: A new approach to the scheduling radiotherapy problem that considers the current waiting times
Expert Systems and Applications, vol 64, pages 287-295,2016

Juan Pablo Cares, María Cristina Riff, Bertrand Neveu
GeneRa: A problem generator for radiotherapy treatment scheduling problems
Ann. Math. Artif. Intell. 76(1-2), pages 191-214, 2016

Bertrand Neveu, Martin de la Gorce et Gilles Trombettoni
Améliorations d'une approche de programmation par contraintes pour l'estimation de paramètres
12èmes Journées Francophones de Programmation par Contraintes JFPC 2016, Montpellier

Ignacio Araya and Bertrand Neveu
Lsmear: A Variable Selection Strategy for Interval Branch and Bound Solvers
Global Optimization Workshop, GOW 16, Braga, Portugal

Bertrand Neveu, Martin de la Gorce and Gilles Trombettoni
An Interval Branch and Bound Algorithm for Parameter Estimation
Global Optimization Workshop, GOW 16, Braga, Portugal

2015

Bertrand Neveu, Gilles Trombettoni, Ignacio Araya
Adaptive constructive interval disjunction : algorithms and experiments
Constraints Journal, vol. 20, issue 4, pages 442-447, 2015

Bertrand Neveu, Martin de la Gorce, Gilles Trombettoni
Improving a Constraint Programming Approach for Parameter Estimation
ICTAI 2015, Nov 9-11, Vietri sul mare, Italy pdf

Bertrand Neveu, Gilles Trombettoni, Ignacio Araya
Choix de noeud dans un algorithme de Branch and Bound sur intervalles
11èmes Journées Francophones de Programmation par Contraintes JFPC 2015, pages 236-245, Bordeaux

2014

Ignacio Araya, Gilles Trombettoni, Bertrand Neveu et Gilles Chabert
Upper bounding in inner regions for global optimization under inequality constraints
Journal of Global Optimization, february 2014, pages 1-20

Bertrand Neveu, Gilles Trombettoni
ACID : Disjonction constructive adaptative sur intervalle
10èmes Journées Francophones de Programmation par Contraintes JFPC 2014, pages 30-39, Angers

Juan Pablo Cares, María Cristina Riff and Bertrand Neveu
Genera: A Benchmarks Generator of Radiotherapy Treatment Scheduling Problem
Learning and Intelligent OptimizatioN Conference,Gainesville, Florida - USA,Feb 16-21, 2014

Bertrand Neveu, Gilles Trombettoni, and Ignacio Araya
Node Selection Heuristics Using the Upper Bound in Interval Branch and Bound
MAGO'14, XII Global Optimization Workshop, Malaga, Spain, sept 2014

2013

M.-C. Riff, E. Montero, B. Neveu
Reducing calibration effort for clonal selection based algorithms: A reinforcement learning approach
Knowledge Based Systems,volume 41, march 2013, pages 54-67

I. Araya, G. Trombettoni, B. Neveu et G. Chabert
Extraction de régions intérieures pour améliorer le majorant en optimisation globale sous contraintes
9èmes Journées Francophones de Programmation par Contraintes JFPC 2013, pages 31-40, Aix en Provence pdf

B. Neveu, G. Trombettoni
Adaptive Constructive Interval Disjunction pdf
ICTAI 2013, Washington, USA

2012

F. Meunier, B. Neveu
Computing Solutions of the Paintshop-Necklace Problem
Computers and Operations Research, volume 39,issue 11, pages 2666-2678 pdf

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

G.Trombettoni, I. Araya, B. Neveu, G. Chabert
IbexOpt : un module d’optimisation globale sous contraintes fiable
ROADEF 2012, Angers, France. pdf

I. Araya, G. Trombettoni, B. Neveu, G. Chabert
UpperBounding in Inner Regions for Global Optimization under Inequality Constraints
Global Optimization Workshop, GOW 12, pages 25-29, Natal, Brasil pdf

2011

G. Trombettoni, I. Araya, B. Neveu, G. Chabert
Régions intérieures et linéarisations par intervalles en optimisation globale
Journées Francophones de Programmation par Contraintes JFPC 2011, pages 299-306, Lyon pdf

G. Trombettoni, I. Araya, B. Neveu, G. Chabert
Inner Regions and Interval Linearizations for Global Optimization
Proc. of AAAI 2011, pages 99-104, San Francisco, CA, USA pdf

I. Araya, B. Neveu, G.Trombettoni
An Interval Extension Based on Occurrence Grouping: Method and Properties
RR 7806, INRIA HAL

2010

B. Neveu, G. Trombettoni, G. Chabert
Improving inter-block backtracking with interval Newton
Constraints Journal, vol 15, nb 1, pages 93-116 pdf

I. Araya, G. Trombettoni, B. Neveu
Exploiting Monotonicity in Interval Constraint Propagation
Proc. AAAI 2010, pages 9-14, Atlanta, USA pdf

I. Araya, G. Trombettoni, B. Neveu
Exploitation de la monotonie des fonctions dans la propagation de contraintes sur intervalles
Journées Francophones de Programmation par Contraintes JFPC 2010, pages 23-32, Caen pdf

I. Araya, B. Neveu, G. Trombettoni
Une nouvelle extension de fonctions aux intervalles basée sur le regroupement d'occurrences
Journées Francophones de Programmation par Contraintes JFPC 2010, pages 13-22, Caen pdf

I. Araya, G. Trombettoni, B. Neveu
Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity
Proc of CP 2010, Springer LNCS 6308, pages 61-68,St Andrews, UK pdf

M.-C. Riff, E. Montero, B. Neveu
C-Strategy: A Dynamic Adaptive Strategy for the CLONALG Algorithm
Transactions on Computational Science, vol. 8, pages 41-55 pdf

2009

M.-C. Riff, X. Bonnaire, B. Neveu
A revision of recent approaches for two-dimensional strip-packing problems
Engineering Applications of Artificial Intelligence, vol 22, n4-5, June 2009, Pages 823-827 pdf

I. Araya, G. Trombettoni, B. Neveu
Utilisation de systèmes bien contraints pour le filtrage de CSP numériques
Actes des journées JFPC 2009, Orléans, pp 335-344 France pdf

I. Araya, G. Trombettoni, B. Neveu
Filtering Numerical CSPs Using Well-Constrained Subsystems
Proc of CP 2009, LNCS 5732, pp 158-172, Lisbonne, Portugal pdf

I. Araya, B. Neveu, G. Trombettoni
A New Monotonicity-Based Interval Extension Using Occurrence Grouping
Proc. of INTCP09 workshop, Lisbonne, Portugal pdf

I. Araya, B. Neveu, G. Trombettoni
An Interval Constraint Propagation Algorithm Exploiting Monotonicity
Proc. of INTCP09 workshop, Lisbonne, Portugal pdf

2008

I. Araya, B. Neveu and M-C. Riff
An efficient hyperheuristic for strip packing problems
Adaptive and Multilevel Metaheuristics, Studies on Computational Intelligence, Springer, vol. 136, pages 71-76 pdf

I. Araya, B. Neveu et 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

B. Neveu and G. Trombettoni
Strip Packing Based on Local Search and a Randomized Best-Fit
Proc. of First Workshop on Bin Packing and Placement Constraints BPPC'08, Paris, France pdf

B. Neveu, G. Trombettoni, I. Araya and M.-C. Riff
A Strip Packing Solving Method Using an Incremental Move based on Maximal Holes
International Journal on Artificial Intelligence Tools, vol.17, n.5 pdf

2007

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

B. Neveu and G. Trombettoni and I. Araya
Recherche locale pour la découpe de rectangles
ROADEF 2007, p. 43-44 pdf

B. Neveu, G. Trombettoni, I. Araya
Un mouvement incrémental pour le problème du strip packing
JFPC 2007, Rocquencourt, France. pdf

B. Neveu, G. Trombettoni, I. Araya
Incremental move for strip-packing
ICTAI 2007, Patras, Greece, Oct 2007 pdf

2006

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

C. Jermann, G. Trombettoni, B. Neveu, P. Mathis
Decomposition of geometric constraint systems: a survey
International Journal of Computational Geometry and Applications, Vol. 16, Numbers 5-6, p. 479-511, 2006 pdf

B. Neveu, G. Chabert, G. Trombettoni
When Interval Analysis Helps Inter-Block Backtracking
Proc. of CP'06, 12th International Conference on Principles and Practice of Constraint Programming, Nantes, sept 2006, LNCS 4204, Springer, p. 390-405 postscript pdf

2005

B. Neveu
Techniques de résolution de problèmes de satisfaction de contraintes
Mémoire d'habilitation à diriger des recherches postscript , pdf

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

B. Neveu, G. Trombettoni, F. Glover
IDW : un algorithme de recherche locale combinant intensification et diversification
Congrès de l'association française de recherche opérationnelle et d'aide à la décision, ROADEF'2005, pages 288-289, Tours, France postscript

B.Neveu, C.Jermann, G.Trombettoni
Inter-Block Backtracking: Exploiting the Structure in Continuous CSPs ,
Global Optimization and Constraint Satisfaction: COCOS 2003, Revised Selected Papers. LNCS 3478 , pages 15-30, Springer, 2005 postscript pdf

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

2004

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

C.Jermann, B.Neveu, G.Trombettoni
A new structural rigidity for geometric constraints systems
Revised papers of 4th International Workshop on Automated Deduction in Geometry (ADG'02), Springer LNAI 2930, pages 87-105 postscript

C.Jermann, B.Neveu, G.Trombettoni
Algorithmes pour la détection de rigidités dans les CSP géométriques
JEDAI Volume 2 (2004): Résolution Pratique des Problèmes NP-Complets (1) pdf

B.Neveu, G.Trombettoni, C. Jermann
Retour-arrière inter-blocs et résolution par intervalles
Actes JNPC'04(10èmes Journées Nationales pour la résolution pratique de Problèmes NP-Complets), Angers, juin 2004,pages 267-282 postscript , pdf

B.Neveu, G.Trombettoni
Hybridation de GWW avec de la recherche locale
JEDAI Volume 3 (2004): Résolution Pratique des Problèmes NP-Complets (2) pdf

B.Neveu, G.Trombettoni, F.Glover
ID-Walk : A Candidate List Strategy with a Simple Diversification Device
Principles and Practice of Constraint Programming CP2004, Toronto, Canada, Springer LNCS postscript

2003

B.Neveu,G.Trombettoni Hybridation de GWW avec de la recherche locale , 9e Journées Nationales sur la résolution pratique de Problèmes NP-Complets (JNPC'2003), Amiens, pages 277-292.

B.Neveu,G.Trombettoni When Local Search Goes with the Winners , 5th Int. Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems CPAIOR 2003, Montréal, Canada.

C.Jermann, B.Neveu, G.Trombettoni Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems , Int Joint Conference on Artificial Intelligence, IJCAI 2003, pages 233-238, Acapulco, Mexique.

C.Jermann, B.Neveu, G.Trombettoni, Algorithmes pour la détection de rigidités dans les CSP géométriques , 9e Journées Nationales sur la résolution pratique de Problèmes NP-Complets (JNPC'2003), Amiens, pages 177-188.

B.Neveu, G.Trombettoni, INCOP: An Open Library for INcomplete Combinatorial OPtimization , Principles and Practice of Constraint Programming CP2003, LNCS 2833, pages 909-913, Cork, Irlande.

C.Jermann, B.Neveu, G.Trombettoni Inter-Block Backtracking: Exploiting the Structure in Continuous CSPs , 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction COCOS'03, Lausanne, Suisse.

C.Jermann, B.Neveu, G.Trombettoni A new structural rigidity for geometric constraints systems , Proc. of Fourth International Workshop on Automated Deduction in Geometry (ADG'02), Linz, Autriche.

2002

N.Prcovic,B.Neveu Progressive Focusing Search ,15th European Conference on Artificial Intelligence (ECAI 2002), Lyon, pages 126-130.

C.Jermann,B.Neveu,G.Trombettoni De la rigidité structurelle , Groupe de travail en modélisation géométrique, Nantes, pages 106-115.

2001

B.Madeline, B.Neveu Méthodes de recherche arborescente comparées aux algorithmes génétiques sur des problèmes de coloriage de graphes surcontraints 7e Journées Nationales sur la résolution pratique de Problèmes NP-Complets (JNPC'2001), Toulouse.

B.Madeline, B.Neveu Tree Search Methods versus Genetic Algorithms for Over-Constra ined Graph Coloring Problems Metaheuristics International Conference MIC'01, Porto, Portugal, pages 731-736

G.Trombettoni, B.Neveu Links for Boosting Predictable Interactive Constraint Systems , UICS'01 International Workshop on User Interaction in Constraint Satisfaction, Paphos, Chypre.

2000

C. Jermann, G. Trombettoni, B. Neveu, M. Rueher A Constraint Programming Approach for Solving Rigid Geometric Systems , CP2000, Singapour, Springer LNCS 1894, pages 233-248.

C. Jermann, G. Trombettoni, B. Neveu, M. Rueher Résolution par contraintes de systèmes géométriques rigides VI Journées Nationales sur les Problèmes NP-Complets (JNPC'00), pages 119-133, Marseille, juin 2000.

N. Prcovic, B. Neveu Recherche à focalisation progressive VI Journées Nationales sur les Problèmes NP-Complets (JNPC'00), pages 191-204, Marseille, juin 2000.

1999

N. Prcovic, B. Neveu, Etude théorique sur les recherches entrelacée et à divergence limitée , Ve Journées Nationales sur les Problèmes NP-Complets (JNPC'99), pages 85-94, Lyon, juin 99.

N. Prcovic, B. Neveu, Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search, Principles and Practice of Constraint Programming, CP'99, Springer LNCS 1713, pages 361-374, Alexandria, VA, Etats-Unis, octobre 1999.

1998

N. Prcovic, B. Neveu, Recherche arborescente restreinte à un sous-espace prometteur , IVe Journées Nationales sur les Problèmes NP-Complets (JNPC'98), pages 41-46, Nantes, mai 1998.

P.K. Nilsen, N. Prcovic, Parallel Optimization in the SCOOP Library, Second Workshop on Solving Combinatorial Optimization Problems in Parallel

C. Bliek, B. Neveu, G. Trombettoni, Using Graph Decomposition for Solving Continuous CSPs , Principles and Practice of Constraint Programming, CP'98, Springer LNCS 1520, pages 102-116, Pise, Italie, novembre 1998.

N.Prcovic, Recherche arborescente parallèle et séquentielle pour les problèmes de satisfaction de contraintes,  Thèse de doctorat, ENPC, novembre 1998.

M.-C. Riff Rojas, A Network-based adaptive evolutionary algorithm for constraint satisfaction problems,
in Meta-heuristics : Advances and Trends in Local Search Paradigms for Optimization,  Kluwer Academic Publisher, pages 325-339.

1997

N. Prcovic, Distribution en escalier pour le développement en parallèle de l'arbre de recherche des CSP, Rapport de Recherche COPRIN/NEVEU 97-93.

N.Prcovic, B.Neveu, Parallélisation de la recherche arborescente des CSP avec distribution à profondeur variable , IIIe Journées Nationales sur les Problèmes NP-Complets JNPC'97, pages 81-86, Rennes, avril 1997.

N. Prcovic, Changing the Distribution Depth During a Parallel Tree Search , (version longue) de Euro-Par'97, Passau. Allemagne, août 1997.

M-C. Riff Rojas, Evolutionary Search guided by the Constraint Network to solve CSP, proc. ICEC'97, pages 337-342, Indianapolis, Etats-Unis, avril 97.

M-C. Riff Rojas, Self Adaptating Crossover Operator for CSP, IIIe Journées Nationales sur les Problèmes NP-Complets JNPC'97, pages 41-48, Rennes, France, avril 97.

M-C. Riff Rojas, Résolution de problèmes de satisfaction de contraintes avec des algorithmes évolutionnistes, Thèse de doctorat, ENPC, décembre 1997.

G. Trombettoni, B. Neveu, Computational Complexity of Multi-way, Dataflow Constraint Problems, proc IJCAI'97, pages 358-363 , Nagoya, Japon, août 1997.

G. Trombettoni, B. Neveu, Computational Complexity of Multi-way, Dataflow Constraint Problems, Rapport de recherche COPRIN/NEVEU 97-86

G. Trombettoni, Algorithmes de maintien de solution par propagation locale pour les systèmes de contraintes, thèse de doctorat, Université de Nice Sophia-Antipolis, juin 1997.

1996

C. Bliek, Wordwise algorithms and improved heuristics for solving hard constraint satisfaction problems, Rapport ERCIM 96-45.

M. Bouzoubaa, B. Neveu, G.Hasle, Houria III: Solver For Hierarchical Systems of Functional Constraints. Planning the Solution Graph for a Weighted Sum Criterion, in book of the Fifth INFORMS Conference on Computer Science and Operations Research, Dallas, Texas, Jan. 8-10, 1996.

N. Prcovic, B. Neveu, P. Berlandier, Distribution de l'arbre de recherche des problèmes de satisfaction de contraintes en domaines finis, 2ème Conférence Nationale sur la Résolution de Problèmes NP-Complets (CNPC'96).

M-C. Riff Rojas, Using the Knowledge of the Constraints Network to Design an Evolutionary Algorithm that solves CSP, Proceedings IEEE International Conference of Evolutionary Computation 1996 (ICEC'96), Japan.

M-C. Riff Rojas, From quasi-solutions to solution: An Evolutionary Algorithm to solve CSP, Proceedings Second International Conference on Principles and Practice of Constraint Programming (CP96), USA.

1995

P. Charman, Gestion des contraintes géométriques pour l'aide à l'aménagement spatial, Thèse de doctorat, ENPC, novembre 1995.

P. Berlandier, Improving Domain Filtering using Restricted Path Consistency, Proc CAIA 95, Los Angeles, USA.

P. Berlandier, Une application pragmatique de la consistance de chemins, Journées Francophones de Programmation en Logique (JFPL'95), Dijon, France.

P. Berlandier, A Symbiotic Approach to Arc and Path Consistency Checking, LNAI 990, Proc. EPIA'95, Madère, Portugal.

P. Berlandier, Filtrage de problèmes par consistance de chemin restreinte, Revue d'intelligence artificielle, vol 9 n.3, 1995, pages 225-238.

P. Berlandier, B. Neveu, Problem Partition and Solvers Coordination in Distributed Constraint Satisfaction, Parallel Processing for Artificial Intelligence 3, J. Geller, H. Kitano et C. Suttner (réd) Proc. of Workshop Parallel Processing in Artificial Intelligence PPAI'95, Elsevier Science, 1997

M. Bouzoubaa, The Houria Constraint Solver, International Conference of the Applications of Artificial Intelligence in Engineering X. pp 219-226, Udine, Italie, Jul. 1995.

M. Bouzoubaa, B. Neveu, G.Hasle, Houria II: A Solver For Hierarchical Systems, Planning of Lexicographic Satisfied Count Best Case Better Graph for Equational Constraints, International Workshop on Constraints for Graphics and Visualization in conjunction with CP-95, Cassis, France, Sep. 18-22, 1995.

N. Prcovic, Un algorithme distribué pour la résolution des problèmes de contraintes en domaines finis, Rapport de Recherche COPRIN/NEVEU 95 44

G. Trombettoni, B. Neveu, P. Berlandier, M-C. Riff Rojas, M. Bouzoubaa, A Non-Diffident Combinatorial Optimization Algorithm, CP 95 workshop on Studying and Solving Really Hard Problems, Cassis, France, aussi publié dans les actes d'EPIA'95, LNAI 990.

G. Trombettoni, Formalizing Local Propagation in Constraint Maintenance Systems, LNAI 990, Proc of EPIA'95, Madère, Portugal.

1992-1993-1994

P. Berlandier, Prose : une boîte à outils pour l'interprétation de contraintes : guide d'utilisation, Rapport technique INRIA 145, 1992.

P. Berlandier, A Performance Evaluation of Backtrack Bounded Search for N-ary Constraint Networks, LNAI 689,Proc. ISMIS 93, Trondheim, Norway.

P. Berlandier, The Use and Interpretation of Meta Level Constraints, LNAI 727, Proc EPIA 93.

P. Berlandier, Deux variations sur le thème de la consistance d'arc : maintien et renforcement, Rapport de recherche INRIA 2426, 1994.

B. Neveu, P. Berlandier, Arc-Consistency for Dynamic Constraint Problems: An RMS-free Approach, ECAI '94 Workshop on Constraint Satisfaction Issues Raised by Practical Applications.

B. Neveu, P. Berlandier, Maintaining Arc Consistency through Constraint Retraction, Proc of TAI'94, New Orleans, USA.