Xavier Lorca
60
Documents
Publications
- 15
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 18
- 21
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 3
- 9
- 4
- 2
- 1
- 5
- 2
- 1
- 6
- 3
- 5
- 5
- 3
- 4
- 1
- 1
|
Buildings energetic improvement: first elements about isolating panels layout designIMS 2022 - 14th IFAC Workshop on Intelligent Manufacturing Systems, Mar 2022, Tel-Aviv (online), Israel. p.487-492, ⟨10.1016/j.ifacol.2022.04.241⟩
Conference papers
hal-03662952v1
|
|
Analyse de l'impact de contraintes organisationnelles pour la planification des opérations de maintenance d'un service d'eau23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers
hal-03596169v1
|
|
Toward Resilient and Efficient Maintenance Planning for Water Supply Networks22nd Working Conference on Virtual Enterprises (PRO-VE 2021), Nov 2021, Saint-Etienne, France. pp.591-600, ⟨10.1007/978-3-030-85969-5_55⟩
Conference papers
emse-03346551v1
|
|
Using Approximation within Constraint Programming to Solve the Parallel Machine Scheduling Problem with Additional Unit ResourcesThirty-Fourth AAAI Conferance on Artificial Intelligence (AAAI'20), Feb 2020, New-York, United States. pp.1512-1519, ⟨10.1609/aaai.v34i02.5510⟩
Conference papers
hal-02907067v1
|
|
Towards a Framework for Federated Interoperability to Implement an Automated Model TransformationPRO-VE 2020 - 21st Working Conference on Virtual Enterprises, Nov 2020, Valence, Spain. pp.143-152, ⟨10.1007/978-3-030-62412-5_12⟩
Conference papers
hal-03024821v1
|
Model Transformation from CBM to EPL Rules to Detect Failure SymptomsMODELSWARD 2020 - 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, La Valette, Malta. pp.200-224, ⟨10.1007/978-3-030-67445-8_9⟩
Conference papers
hal-03198701v1
|
|
|
Unifier les stratégies de sélection de réserve avec la programmation par contraintes et les graphesJFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 27-29
Conference papers
hal-02160264v1
|
|
Utilisation d'algorithmes d'approximation en Programmation Par ContraintesJFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 63-66
Conference papers
hal-02160300v1
|
|
Estimer le nombre de solutions des contraintes de cardinalité grâce à leur décomposition range et rootsJFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 133-141
Conference papers
hal-02160312v1
|
|
Estimating the Number of Solutions of Cardinality Constraints through range and roots DecompositionsCP 2019-25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, United States. p. 317-332, ⟨10.1007/978-3-030-30048-7_19⟩
Conference papers
hal-02276566v1
|
|
Systematic Conservation Planning for Sustainable Land-use Policies: A Constrained Partitioning Approach to Reserve Selection and Design.IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.5902-5908, ⟨10.24963/ijcai.2019/818⟩
Conference papers
hal-02283036v1
|
Systematic conservation planning in New Caledonia: supporting sustainable land-use policies with reserve selection modelsIsland Biology 2019,, Dominique STRASBERG; Claudine AH-PENG, Jul 2019, Saint-Denis, Réunion
Conference papers
hal-02313739v1
|
|
|
Efficient Resource Allocation for Multi-tenant Monitoring of Edge InfrastructuresPDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩
Conference papers
hal-01987946v1
|
Deriving filtering algorithms from dedicated algorithms: zoom on the Bin Packing problemCP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming : Doctoral Program Proceedings, Aug 2018, Lille, France. 9 p
Conference papers
hal-01923740v1
|
|
|
Unifying reserve design strategies with graph theory and constraint programmingCP 2018 - International conference on principles and practice of Constraint Programming, Aug 2018, Lille, France. p.507-523, ⟨10.1007/978-3-319-98334-9_33⟩
Conference papers
hal-01885111v1
|
A Probabilistic Model to Count Solutions on the alldifferent ConstraintCP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, Aug 2018, Lille, France. 9 p
Conference papers
hal-01923767v1
|
|
|
Using Constraint Programming for the Urban Transit Crew Rescheduling ProblemPrinciples and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.636 - 649, ⟨10.1007/978-3-319-44953-1_40⟩
Conference papers
hal-01436288v1
|
A Modelling Pearl with Sortedness ConstraintsGlobal conference on artificial intelligence, Oct 2015, Tbilisi, Georgia
Conference papers
hal-01186680v1
|
|
|
Self-decomposable Global ConstraintsECAI 2014, 21st International Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.297-302, ⟨10.3233/978-1-61499-419-0-297⟩
Conference papers
hal-01088964v1
|
|
When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferentMeeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, United States. pp.80-90
Conference papers
hal-00867576v1
|
|
Prototyper des Moteurs de Propagation avec un DSLJournées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288
Conference papers
hal-00867713v1
|
Bin Repacking Scheduling in Virtualized Datacenters17th International Conference, CP 2011, Sep 2011, Perugia, Italy. pp.27-41, ⟨10.1007/978-3-642-23786-7_5⟩
Conference papers
hal-00684764v1
|
|
|
Revisiting the tree ConstraintPrinciples and Practice of Constraint Programming, 2011, Perugia, Italy. pp.271-285, ⟨10.1007/978-3-642-23786-7_22⟩
Conference papers
hal-00644787v1
|
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints22th International Joint Conference on Artificial Intelligence (IJCAI'11), Aug 2011, Barcelona, Spain. pp.643-648
Conference papers
hal-00754017v1
|
|
|
La contrainte Increasing NValueJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70
Conference papers
inria-00520296v2
|
The Increasing Nvalue ConstraintIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2010, Bologna, Italy. ⟨10.1007/978-3-642-13520-0_5⟩
Conference papers
hal-00915800v1
|
|
|
Lazy Composition of Representations in JavaSC'09 - International Conference on Software Composition, Jul 2009, Lille, France. pp.55-71
Conference papers
inria-00403417v1
|
|
A Constraint on the Number of Distinct Vectors with Application to LocalizationCP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 196-210
Conference papers
hal-00428967v1
|
|
Entropy: a Consolidation Manager for ClustersVEE 2009 - 5th International Conference on Virtual Execution Environments, Mar 2009, Washington, DC, United States. pp.41-50, ⟨10.1145/1508293.1508300⟩
Conference papers
hal-01102354v1
|
|
Des contraintes globales prêtes à brancherCinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.115-125
Conference papers
hal-00387812v1
|
|
Reconfiguration dynamique du placement dans les grilles de calculs dirigée par des objectifs6ième Conférence Francophone sur les Systèmes d'Exploitation (CFSE'06), 2008, Fribourg, Suisse
Conference papers
inria-00420351v1
|
Reconfiguration dynamique du placement dans les grilles de calcul dirigée par les objectifsSixième Conférence Française sur les Systèmes d'Exploitation (CFSE'08), 2008, Fribourg, France
Conference papers
hal-00869094v1
|
|
|
Choco: an Open Source Java Constraint Programming LibraryCPAIOR'08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP'08), 2008, Paris, France, France. pp.1-10
Conference papers
hal-00483090v1
|
Necessary Condition for Path Partitioning Constraints4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), 2007, Brussels, Belgium. pp.141-154
Conference papers
hal-00481563v1
|
|
|
Condition nécessaire pour la contrainte de partitionnement de graphes par des cheminsTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France
Conference papers
inria-00151230v1
|
|
Contraintes de Partitionnement par des ArbresDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Conference papers
inria-00085803v1
|
|
Partitionnement de graphes par des arbres sous contraintes de degréDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Conference papers
inria-00085802v1
|
Undirected Forest ConstraintsTechniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), 2006, Cork, Ireland. pp.29-43
Conference papers
hal-00481573v1
|
|
The Tree ConstraintInternational Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'05), 2005, Prague, Czech Republic, Czech Republic. pp.64--78
Conference papers
hal-00445174v1
|
Tree-based Graph Partitioning ConstraintWiley-ISTE. 2011, 978-1-84821-303-6
Books
hal-01087839v1
|
|
A Framework for Edge Infrastructures Monitoring[Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14
Reports
hal-01897570v3
|
|
Improving the Asymmetric TSP by Considering Graph Structure2012
Reports
hal-00707510v1
|
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:Revised Edition that Incorporates One Correction2011
Reports
hal-00754032v1
|
|
|
A Probabilistic Study of Bound Consistency for the Alldifferent Constraint2011
Reports
hal-00588888v1
|
|
Entropy: a Consolidation Manager for Clusters[Research Report] RR-6639, INRIA. 2008
Reports
inria-00320204v2
|
|
Contraintes de Partitionnement de GrapheAutre [cs.OH]. Université de Nantes, 2007. Français. ⟨NNT : ⟩
Theses
tel-00484354v1
|
|
Éléments de flexibilité et d'efficacité en programmation par contraintesInformatique [cs]. Université de Nantes, 2014
Habilitation à diriger des recherches
tel-01096401v1
|
|
JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Albi, France, du 12-14 juin 2019IMT Mines Albi, xv - 190 p., 2019, 979-10-91526-07-4
Proceedings
hal-02159866v1
|