References

 
Structure Learning and Gene Regulatory Networks
2
Lise Pomiès, Céline Brouard, Harold Duruflé, Élise Maigné, Clément Carré, Louise Gody, Fulya Trösser, George Katsirelos, Brigitte Mangin, Nicolas B Langlade, and Simon de Givry
Gene regulatory network inference methodology for genomic and transcriptomic data acquired in genetically related heterozygote individuals
Bioinformatics, 38(17):4127–4134, 07 2022
3
Fulya Trösser, Simon de Givry, and George Katsirelos
Structured Set Variable Domains in Bayesian Network Structure Learning
In Proc. of CP-22, volume 235, pages 37:1–37:9, Haifa, Israel, 2022
4
Fulya Trösser, Simon de Givry, and George Katsirelos
Improved acyclicity reasoning for bayesian network structure learning with constraint programming
In Proc. of IJCAI-21, Montreal, Canada, 2021
5
Gody, Louise, Duruflé, Harold, Blanchet, Nicolas, Carré, Clément, Legrand, Ludovic, Mayjonade, Baptiste, Muños, Stéphane, Pomiès, Lise, de Givry, Simon, Langlade, Nicolas B., and Mangin, Brigitte
Transcriptomic data of leaves from eight sunflower lines and their sixteen hybrids under water deficit
OCL, 27:48, 2020
6
Penouilh-Suzette, Charlotte, Pomiès, Lise, Duruflé, Harold, Blanchet, Nicolas, Bonnafous, Fanny, Dinis, Romain, Brouard, Céline, Gody, Louise, Grassa, Christopher, Heudelot, Xavier, Laporte, Marion, Larroque, Marion, Marage, Gwenola, Mayjonade, Baptiste, Mangin, Brigitte, de Givry, Simon, and Langlade, Nicolas B
Rna expression dataset of 384 sunflower hybrids in field condition
OCL, 27:36, 2020
7
Lise Pomiès, Louise Gody, Charlottte Penouilh-Suzette, Nicolas Langlade, Brigitte Mangin, and Simon de Givry
Building artificial genetical genomic datasets to optimize the choice of gene regulatory network inference methods
In Poster at ECCB, Athens, Greece, 2018
8
Lise Pomiès, Louise Gody, Charlottte Penouilh-Suzette, Nicolas Langlade, Brigitte Mangin, and Simon de Givry
Building artificial genetical genomic datasets to optimize the choice of gene regulatory network inference methods
In Proc. of JOBIM, pages 338–341, Marseilles, France, 2018
https://miat.inrae.fr/degivry/Pomies18aa.pdf (poster)
9
David Allouche, Christine Cierco-Ayrolles, Simon de Givry, G Guillermin, Brigitte Mangin, Thomas Schiex, Jimmy Vandel, and Matthieu Vignes
Gene Network Inference, chapter A Panel of Learning Methods for the Reconstruction of Gene Regulatory Networks in a Systems Genetics Contex
Springer, 2014
10
J Vandel, B Mangin, and S de Givry
New Local Move Operators for Bayesian Network Structure Learning
In Proc. of PGM-12, Granada, Spain, 2012
11
J Vandel, B Mangin, and S de Givry
New Local Move Operators for Learning the Structure of Bayesian Networks
In ECAI-12 workhop on algorithmic issues for inference in graphical models, Montpellier, France, 2012
12
Matthieu Vignes, Jimmy Vandel, David Allouche, Nidal Ramadan-Alban, Christine Cierco-Ayrolles, Thomas Schiex, Brigitte Mangin, and Simon de Givry
Gene regulatory network reconstruction using bayesian networks, the dantzig selector, the lasso and their meta-analysis
PLoS ONE, 6(12), 2011
13
J Vandel and S de Givry
A New Local Move Operator for Reconstructing Gene Regulatory networks
In CP-11 workshop on Constraint Based Methods for Bioinformatics, pages 67–72, Perugia, Italy, 2011
14
J Vandel, B Mangin, M Vignes, and S de Givry
Extended bayesian scores for reconstructing gene regulatory networks
In ECCS-10 workshop on graphical models for reasoning on biological systems: computational challenges, Lisbon, Portugal, 2010
 
In French:
16
Simon de Givry, George Katsirelos, and Fulya Ural
Contrainte pondérée d'acyclicité pour l'apprentissage de réseaux bayésiens
In Journées Francophones sur les Réseaux Bayésiens et les Modèles Graphiques Probabilistes, Toulouse, France, 2018
17
Jimmy Vandel, Brigitte Mangin, Matthieu Vignes, Damien Leroux, Olivier Loudet, Marie-Laure Martin-Magniette, and Simon de Givry
Inférence de réseaux de régulation de gènes au travers de scores étendus dans les réseaux bayésiens
Revue d'Intelligence Artificielle, 26(6):679–708, 2012
18
J. Vandel, S. de Givry, B. Mangin, and M. Vignes
Reconstruction de réseau de régulation de gène à l'aide de données génomiques et de données génétiques
In Proc. of CAP-10, 2010
19
J. Vandel and S. de Givry
Inférence de réseaux de régulation de gènes à partir de données d'expression et de polymorphisme
In JOBIM-09 workshop sur Modèles graphiques probabilistes pour l'intégration de données hétérogènes et la découverte de modèles causaux en biologie, Nantes, France, 2009
 
Agronomy and Operations Research
21
Sara Maqrot, Simon De Givry, Marc Tchamitchian, and Gauthier Quesnel
Learning parameters of the wedelin heuristic with application to crew and bus driver scheduling
https://hal.inrae.fr/hal-03170397, 2021
22
Sara Maqrot, Simon de Givry, Gauthier Quesnel, and Marc Tchamitchian
Improving Wedelin's Heuristic with Sensitivity Analysis for Set Partitioning
In 23rd International Symposium on Mathematical Programming (ISMP-18), Bordeaux, France, 2018
23
Sara Maqrot, Simon de Givry, Marc Tchamitchian, and Gauthier Quesnel
Improving Wedelin's Heuristic with Sensitivity Analysis
In Proc. of ROADEF-18, page 2p, Lorient, France, 2018
24
Sara Maqrot, Simon de Givry, Gauthier Quesnel, and Marc Tchamitchian
A Mixed Integer Programming Reformulation of the Mixed Fruit-Vegetable Crop Allocation Problem
In 30th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems (IEA/AIE), page 12 pages, Arras, France, June 2017
25
Sara Maqrot, Simon de Givry, Gauthier Quesnel, and Marc Tchamitchian
Mixed Fruit-Vegetable Crop Allocation Problem using MIP
In Proc. of ROADEF-17, page 2p, Metz, France, 2017
26
Sara Maqrot, Simon de Givry, Gauthier Quesnel, and Marc Tchamitchian
Designing mixed fruit-vegetable cropping systems by integer quadratic programming
In 8th International Congress on Environmental Modelling and Software (iEMSs), page 9 pages, Toulouse, France, July 2016
27
Sara Maqrot, Simon de Givry, Gauthier Quesnel, and Marc Tchamitchian
Designing mixed fruit-vegetable cropping systems by integer quadratic programming
In ISHS International Symposium on models for plant growth, environment control and farming management in protected cultivation (HORTIMODEL), page 8 pages, Avignon, France, September 2016
28
Mahuna Akplogan, Simon de Givry, Jean-Philippe Métivier, Gauthier Quesnel, Alexandre Joannon, and Frédérick Garcia
Solving the crop allocation problem using hard and soft constraints
RAIRO - Operations Research, 47:151–172, 2013
29
M Akplogan, J Dury, S de Givry, G Quesnel, A Joannon, A Reynaud, J-E Bergez, and F Garcia
A weighted csp approach for solving spatio-temporal planning problem in farming systems
In Proc. of the Soft'2011 workshop, pages 1–15, Perugia, Italy, 2011
 
In French:
31
Sara Maqrot, Simon de Givry, Marc Tchamitchian, and Gauthier Quesnel
Conception de systèmes de verger-maraîcher à l'aide de la programmation mathématique
Revue Ouverte d'Intelligence Artificielle, 2(1):157–188, 2021
32
M Akplogan, J Dury, S de Givry, G Quesnel, A Joannon, and F Garcia
Résolution du problème d'allocation de culture par satisfaction de contraintes pondérées
In Proc. of JFPC-12, pages 5–14, Toulouse, France, 2012
 
Bioinformatics
34
Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, and Thomas Schiex
Guaranteed diversity and optimality in cost function network based computational protein design methods
Algorithms, 14(6):168, 2021
35
François Beuvin, Simon de Givry, Thomas Schiex, Sébastien Verel, and David Simoncini
Iterated local search with partition crossover for computational protein design
Proteins: Structure, Function, and Bioinformatics, 2021
36
David Allouche, Sophie Barbe, Simon de Givry, George Katsirelos, Yahia Lebbah, Samir Loudni, Abdelkader Ouali, Thomas Schiex, David Simoncini, and Matthias Zytnicki
Operations Research and Simulation in Healthcare, chapter Cost Function Networks to Solve Large Computational Protein Design Problems
Springer, 2021
37
Clément Viricel, Simon de Givry, Thomas Schiex, and Sophie Barbe
Cost function network-based design of protein-protein interactions: predicting changes in binding affinity
Bioinformatics, 34(15):2581–2589, 2018
38
D. Simoncini, D. Allouche, S. de Givry, C. Delmas, S. Barbe, and T. Schiex
Guaranteed discrete energy optimization on large protein design problems
Journal of Chemical Theory and Computation, 11(12):5980–5989, 2015
39
David Allouche, Clément Viricel, Seydou Traoré, David Simoncini, Simon de Givry, George Katsirelos, Isabelle André, Thomas Schiex, and Sophie Barbe
Computational enzyme design through deterministic optimization and counting
In 3DSIG: Structural Bioinformatics and Computational Biophysics, page 26, Dublin, Ireland, July 2015
40
Clément Viricel, David Simoncini, David Allouche, Simon de Givry, Sophie Barbe, and Thomas Schiex
Approximate counting with deterministic guarantees for affinity computation
In Proc. of MCO, pages 165–, Metz, France, May 2015
41
N Briot, A Chateau, R Coletta, S de Givry, P Leleux, and T Schiex
An integer linear programming approach for genome scaffolding
In CP-14 workshop on Constraint-Based Methods for Bioinformatics, Lyon, France, 2014
42
JM Elsen, S de Givry, G Katsirelos, and F Shumbusho
Optimizing the reference population in a genomic selection design
In CP-13 workshop on Constraint Based Methods for Bioinformatics, pages 37–46, Uppsala, Sweden, 2013
43
Seydou Traoré, David Allouche, Isabelle André, Simon de Givry, George Katsirelos, Thomas Schiex, and Sophie Barbe
A new framework for computational protein design through cost function network optimization
Bioinformatics, 29(17):2129–2136, 2013
44
B. Servin, S. de Givry, and T. Faraut
Statistical confidence measures for genome maps: application to the validation of genome assemblies
Bioinformatics, 26(24):3035–3042, 2010
45
A. Favier, J-M. Elsen, S. de Givry, and A. Legarra
Optimal haplotype reconstruction in half-sib families
In ICLP-10 workshop on Constraint Based Methods for Bioinformatics, Edinburgh, UK, 2010
46
A. Favier, J-M. Elsen, S. de Givry, and A. Legarra
Exact Haplotype Reconstruction in Half-Sib Families with Dense Marker Maps
In 9th World Congress on Genetics Applied to Livestock Production (WCGALP-10), Leipzig, Germany, 2010
47
B Servin, S de Givry, and Faraut T
Modelling radiation hybrid maps uncertainty and application to the validation of whole genome assemblies
In 9th World Congress on Genetics Applied to Livestock Production (WCGALP-10), Leipzig, Germany, 2010
48
T Faraut, S de Givry, C Hitte, Y Lahbib-Mansais, M Morisson, D Milan, T Schiex, B Servin, A Vignal, F Galibert, and M Yerle
Contribution of Radiation Hybrids to Genome Mapping in Domestic Animals
Cytogenetic and Genome Research, 126:21–33, 2009
49
D Allouche, S de Givry, M Sanchez, and T Schiex
TagSNP selection using Weighted CSP and Russian Doll Search with Tree Decomposition
In CP-09 workshop on Constraint Based Methods for Bioinformatics, Lisbon, Portugal, 2009
50
M. Sánchez, S. de Givry, and T. Schiex
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques
Constraints, 13(1):130–154, 2008
51
Elisa Marques, Simon De Givry, Paul Stothard, Brenda Murdoch, Zhiquan Wang, James Womack, and Stephen Moore
A high resolution radiation hybrid map of bovine chromosome 14 identifies scaffold rearrangement in the latest bovine assembly
BMC Genomics, 8:254, 2007
52
T. Faraut, S. de Givry, P. Chabrier, T. Derrien, F. Galibert, C. Hitte, and T. Schiex
A comparative genome approach to marker ordering
Bioinformatics, 23(2):50–56, 2007
53
T. Faraut, S. de Givry, P. Chabrier, T. Derrien, F. Galibert, C. Hitte, and T. Schiex
A comparative genome approach to marker ordering
In Proc. of ECCB-06, page 7p., Eilat, Israel, 2007
54
P. Thébault, S. de Givry, T. Schiex, and C. Gaspin
Searching RNA motifs and their intermolecular contacts with constraint networks
Bioinformatics, 22(17):2074–2080, 2006
55
S. de Givry, Z. Vitezica, I. Palhiere, and T. Schiex
Mendelsoft: Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques
In 8th World Congress on Genetics Applied to Livestock Production, page 2p., Belo Horizonte, Brazil, 2006
56
S. de Givry, I. Palhiere, Z. Vitezica, and T. Schiex
Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques
In ICLP-05 workshop on Constraint Based Methods for Bioinformatics, page 9p., Sitges, Spain, 2005
57
Patricia Thébault, Simon de Givry, Thomas Schiex, and Christine Gaspin
Combining constraint processing and pattern matching to describe and locate structured motifs in genomic sequences
In Fifth IJCAI-05 Workshop on Modelling and Solving Problems with Constraints, page 8p., Edindurgh, Scotland, 2005
58
S. de Givry, M. Bouchez, P. Chabrier, D. Milan, and T. Schiex
CARTHAGENE: multipopulation integrated genetic and radiated hybrid mapping
Bioinformatics, 21(8):1703–1704, 2005
59
S. de Givry, T. Faraut, and T. Schiex
Experiments in an algorithmic approach to comparative radiation hybrid mapping
Poster at the International Multidisciplinary Meeting on Post-Genomics, IPG'04, Lyon, France, October 2004
 
In French:
61
D. Allouche, S. de Givry, and T. Schiex
Sélection de tagSNP : une approche PLNE
In Proc. of ROADEF-10, Toulouse, France, 2010
62
B. Servin, S. de Givry, and T. Faraut
Modélisation de l'incertitude des cartes comparées et application à l'étude des assemblages génomiques
In Séminaire Génétique Animale, Lacanau, France, 2008
63
T. Faraut, S. de Givry, P. Chabrier, T. Derrien, F. Galibert, C. Hitte, and T. Schiex
A comparative genome approach to marker ordering
In Proc. of JOBIM-06, page 11p., Bordeaux, France, 2006
64
P. Chabrier, C. Gaspin, S. de Givry, and T. Schiex
Application des techniques du voyageur de commerce à la production de cartes génétiques
In Proc. of ROADEF-03, pages 74–76, Avignon, France, 2003
 
Valued Constraint Satisfaction Problems
66
Samuel Buchet, David Allouche, Simon de Givry, and Thomas Schiex
Bi-objective discrete graphical model optimization
In Proc. of CP-AI-OR'2024, Uppsala, Sweden, 2024
67
Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, and Tomáš Werner
Virtual pairwise consistency in cost function networks
In Proc. of CP-AI-OR'2023, Nice, France, 2023
68
Tomáš Dlask, Tomáš Werner, and Simon de Givry
Super-Reparametrizations of Weighted CSPs: Properties and Optimization Perspective
Constraints, 28:277–319, 2023
69
Samuel Buchet, Marianne Defresne, Simon de Givry, Manon Ruffini, and Thomas Schiex
Bilevel optimization and its bicriteria approximation in computational protein design
In Proc. of ROADEF-23, page 2p, Rennes, France, 2023
https://miat.inrae.fr/degivry/Givry23b.pdf
70
ToulBar2 Team
toulbar2: an exact cost function network solver
In Proc. of ROADEF-23, page 2p, Rennes, France, 2023
https://miat.inrae.fr/degivry/Givry23d.pdf
71
Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, and Simon de Givry
Parallel Hybrid Best-First Search
In Proc. of CP-22, volume 235, pages 7:1–7:10, Haifa, Israel, 2022
Slides of the presentation https://miat.inrae.fr/degivry/Beldjilali22Slides.pdf and supplementary materials https://miat.inrae.fr/degivry/Beldjilali22Supp.pdf
72
Pierre Montalbano, Simon de Givry, and George Katsirelos
Multiple-choice knapsack constraint in graphical models
In Proc. of CP-AI-OR'2022, Los Angeles, CA, 2022
73
Tomáš Dlask, Tomáš Werner, and Simon de Givry
Bounds on weighted csps using constraint propagation and super-reparametrizations
In Proc. of CP-21, Montpellier, France, 2021
74
Céline Brouard, Simon de Givry, and Thomas Schiex
Pushing data in cp models using graphical model learning and solving
In Proc. of CP-20, pages 881–827, Louvain-la-neuve, Belgium, 2020
75
Fulya Trösser, Simon de Givry, and George Katsirelos
Relaxation-aware heuristics for exact optimization in graphical models
In Proc. of CP-AI-OR'2020, pages 475–491, Vienna, Austria, 2020
76
Fulya Trösser, Simon de Givry, and George Katsirelos
Relaxation-aware heuristics for exact optimization in graphical models - additional figures
Supplementary materials at CP-AI-OR'2020, 2020
77
Helmut Simonis, Simon de Givry, Thomas Schiex, and Andreas Schutt
Modelling the conference paper assignment problem
In Proc. of the 19th workshop on Constraint Modelling and Reformulation (ModRef-20), page 17, Louvain-la-neuve, Belgium (virtual conference), 2020
78
Martin C. Cooper, Simon de Givry, and Thomas Schiex
Valued Constraint Satisfaction Problems, pages 185–207
Springer International Publishing, 2020
79
Martin C. Cooper, Simon de Givry, and Thomas Schiex
Graphical models: Queries, complexity, algorithms (tutorial)
In 37th International Symposium on Theoretical Aspects of Computer Science (STACS-20), volume 154 of LIPIcs, pages 4:1–4:22, Montpellier, France, 2020
80
Abdelkader Ouali, David Allouche, Simon de Givry, Samir Loudni, Yahia Lebbah, Lakhdar Loukil, and Patrice Boizumault
Variable neighborhood search for graphical model energy minimization
Artificial Intelligence, 278(103194):22p., 2020
81
Nathalie Peyrard, Marie-Josée Cros, Simon de Givry, Alain Franc, Stéphane Robin, Régis Sabbadin, Thomas Schiex, and Matthieu Vignes
Exact or approximate inference in graphical models: why the choice is dictated by the treewidth, and how variable elimination can be exploited
Australian & New Zealand Journal of Statistics, 61(2):89–133, 2019
82
Abdelkader Beldjilali, David Allouche, and Simon de Givry
Parallel Hybrid Best-First Search
Abstract and poster at CP-19, 2019
https://miat.inrae.fr/degivry/Beldjilali19b.pdf (poster)
83
M. Ruffini, J. Vucinic, S. de Givry, G. Katsirelos, S. Barbe, and T. Schiex
Guaranteed diversity & quality for the weighted csp
In Proc. of ICTAI-19, pages 18–25, Portland, OR, USA, 2019
84
David Allouche, S de Givry, George Katsirelos, Abdelkader Ouali, Thomas Schiex, and Matthias Zytnicki
Recent algorithmic advances for combinatorial optimization in graphical models
In 23rd International Symposium on Mathematical Programming (ISMP-18), Bordeaux, France, 2018
https://miat.inrae.fr/degivry/GivryISMP2018.pdf
85
S de Givry and G Katsirelos
Clique Cuts in Weighted Constraint Satisfaction
In Proc. of CP-17, pages 97–113, Melbourne, Australia, 2017
86
Abdelkader Ouali, David Allouche, Simon de Givry, Samir Loudni, Yahia Lebbah, Francisco Eckhardt, and Lakhdar Loukil
Iterative Decomposition Guided Variable Neighborhood Search for Graphical Model Energy Minimization
In Proc. of UAI-17, pages 550–559, Sydney, Australia, 2017
87
Hiep Nguyen, Christian Bessiere, Simon de Givry, and Thomas Schiex
Triangle-based Consistencies for Cost Function Networks
Constraints, 22(2):230–264, 2017
88
David Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H.M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, and Yi Wu
Tractability-preserving transformations of global cost functions
Artificial Intelligence, 238:166–189, 2016
89
B Hurley, B O'Sullivan, D Allouche, G Katsirelos, T Schiex, M Zytnicki, and S de Givry
Multi-Language Evaluation of Exact Solvers in Graphical Model Discrete Optimization
Constraints, 21(3):413–434, 2016
Presentation at CPAIOR'16, Banff, Canada, https://miat.inrae.fr/degivry/cpaior16sdg.pdf
90
B Hurley, B O'Sullivan, D Allouche, G Katsirelos, T Schiex, M Zytnicki, and S de Givry
Multi-Language Evaluation of Exact Solvers in Graphical Model Discrete Optimization (Summary)
In Proc. of CP-AI-OR'2016, page 1 page, Banff, Canada, 2016
91
D Allouche, S de Givry, G Katsirelos, T Schiex, and M Zytnicki
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP
In Proc. of CP-15, pages 12–28, Cork, Ireland, 2015
92
Hiep Nguyen, Simon de Givry, Thomas Schiex, and Christian Bessiere
Maintaining virtual arc consistency dynamically during search
In Proc. of ICTAI-14, pages 8–15, Limassol, Cyprus, 2014
93
S de Givry, J.H.M. Lee, K.L. Leung, and Y.W. Shum
Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions
In Proc. of CP-14, pages 797–812, Lyon, France, 2014
94
S de Givry, B Hurley, D Allouche, G Katsirelos, B O'Sullivan, and T Schiex
An experimental evaluation of cp/ai/or solvers for optimization in graphical models
In Proc. of ROADEF-14, page 1p, Bordeaux, France, 2014
95
David Allouche, Jessica Davies, Simon de Givry, George Katsirelos, Thomas Schiex, Seydou Traoré, Isabelle André, Sophie Barbe, Steve Prestwich, and Barry O'Sullivan
Computational protein design as an optimization problem
Artificial Intelligence, 212:59–79, 2014
96
B Hurley, S de Givry, T Schiex, D Allouche, and G Katsirelos
Uai inference competition 2014 mpe submissions: Proteus and robin
Invited talk at UAI 2014, 2014
97
S de Givry, S Prestwich, and B O'Sullivan
Dead-End Elimination for Weighted CSP
In Proc. of CP-13, pages 263–272, Uppsala, Sweden, 2013
98
François Fages, Simon de Givry, and Christine Solnon, editors
Preface, volume 47:2, 2013
99
D Allouche, S de Givry, and T Schiex
Max-sat evaluation 2013: Toulbar2 to solve weighted partial max-sat
Technical report, INRA, 2013
100
Simon de Givry, Lars Kotthoff, Helmut Simonis, and Barry O'Sullivan
Prototype of incentive policy mechanism
Fp7-epolicy deliverable wp5.2, University College Cork, 2013
101
D Allouche, S Traoré, I André, S de Givry, G Katsirelos, S Barbe, and T Schiex
Computational protein design as a cost function network optimization problem
In Proc. of CP-12, Quebec City, Canada, 2012
102
D Allouche, A Favier, S de Givry, T Schiex, M Zytnicki, M Fontaine, JP Métivier, M Sanchez, and KL Leung
Combining exact WCSP techniques and VNS search for solving MPE
Invited talk at UAI 2012, 2012
103
D Allouche, C Bessiere, P Boizumault, S de Givry, P Gutierrez, S Loudni, JP Métivier, and T Schiex
Decomposing global cost functions
In Proc. of AAAI-12, Toronto, Canada, 2012
https://miat.inrae.fr/degivry/Ficolofo2012poster.pdf (poster)
104
D Allouche, C Bessiere, P Boizumault, S de Givry, P Gutierrez, S Loudni, JP Métivier, and T Schiex
Decomposing global cost functions
In Proc. of the Soft'2011 workshop, pages 16–30, Perugia, Italy, 2011
105
A Favier, S de Givry, A Legarra, and T Schiex
Pairwise decomposition for combinatorial optimization in graphical models
In Proc. of IJCAI-11, Barcelona, Spain, 2011
Video demonstration at https://miat.inrae.fr/degivry/Favier11.mov
106
A. Favier, S. de Givry, and P. Jégou
Solution counting for CSP and SAT with large tree-width
Control Systems and Computers, 2:4–13, 2011
107
D. Allouche, S. de Givry, and T. Schiex
Towards parallel non serial dynamic programming for solving hard weighted csp
In Proc. of CP-10, St Andrews, Scotland, 2010
108
D. Allouche, S. de Givry, and T. Schiex
Toulbar2, an open source exact cost function network solver
Technical report, INRA, 2010
Contributors: M. Sanchez (SP), S. Bouveret (F), H. Fargier (F), F Heras (SP), P. Jégou (F), J. Larrosa (SP), K. L. Leung (CN), S. N'diaye (F), E. Rollon (SP), C. Terrioux (F), G. Verfaillie (F), M. Zytnicki
109
M. Cooper, S. de Givry, M. Sanchez, T. Schiex, M. Zytnicki, and T. Werner
Soft arc consistency revisited
Artificial Intelligence, 174(7–8):449–478, 2010
110
A. Favier, S. de Givry, and P. Jégou
Exploiting problem structure for solution counting
In Proc. of CP-09, pages 335–343, Lisbon, Portugal, 2009
111
M. Zytnicki, C. Gaspin, S. de Givry, and T. Schiex
Bounds Arc Consistency for Weighted CSPs
Journal of Artificial Intelligence Research, 35:593–621, 2009
112
R. Marinescu, R. Dechter, S. de Givry, and T. Schiex
Combinatorial optimization for graphical models
IJCAI-09 tutorial, July 2009
https://miat.inrae.fr/degivry/tutorial_optimization_ijcai09.ppt
113
M Sanchez, D Allouche, S de Givry, and T Schiex
Russian doll search with tree decomposition
In Proc. of IJCAI-09, Pasadena (CA), USA, 2009
https://miat.inrae.fr/degivry/rdsbtd_ijcai09_sdg.ppt
114
M. Sanchez, D. Allouche, S. de Givry, and T. Schiex
Russian doll search with tree decomposition
In Workshop on Preferences and Soft Constraints, Sydney,Australia, 2008
115
M. Sanchez, S. Bouveret, S. de Givry, F. Heras, P. Jégou, J. Larrosa, S. Ndiaye, E. Rollon, T. Schiex, C. Terrioux, G. Verfaillie, and M. Zytnicki
Max-csp competition 2008: toulbar2 solver description
In Proceedings of the Third International CSP Solver Competition, 2008
116
M. Cooper, S. de Givry, M. Sanchez, T. Schiex, and M. Zytnicki
Virtual arc consistency for weighted csp
In Proc. of AAAI-08, Chicago, IL, 2008
117
S. Bouveret, S. de Givry, F. Heras, J. Larrosa, E. Rollon, M. Sanchez, T. Schiex, G. Verfaillie, and M. M. Zytnicki
Max-csp competition 2007: toolbar/toulbar2 solver brief description
In M.R.C. van Dongen, Christophe Lecoutre, and Olivier Roussel, editors, Proceedings of the Second International CSP Solver Competition, pages 19–21, 2008
118
Federico Heras, Javier Larrosa, Simon de Givry, and Thomas Schiex
2006 and 2007 max-sat evaluations: Contributed instances
JSAT, 4(2-4):239–250, 2008
119
J. Larrosa, F. Heras, and S. de Givry
A logical approach to efficient max-sat solving
Artificial Intelligence, 172(2–3):204–233, 2008
120
M. Cooper, S. de Givry, and T. Schiex
Optimal soft arc consistency
In Proc. of IJCAI-07, pages 68–73, Hyderabad, India, 2007
121
M. Cooper, S. de Givry, and T. Schiex
The quest for the best arc consistent closure in weighted csp
In 8th International CP-06 Workshop on Preferences and Soft Constraints, page 14p., Nantes, France, 2006
122
S. de Givry, T. Schiex, and G. Verfaillie
Exploiting Tree Decomposition and Soft Local Consistency in Weighted CSP
In Proc. of AAAI-06, Boston, MA, 2006
123
Simon de Givry, Thomas Schiex, and Gérard Verfaillie
Combining tree decomposition and local consistency in max-csps
In 7th International CP-05 Workshop on Preferences and Soft Constraints, page 15p., Sitges,Spain, 2005
124
S. de Givry, M. Zytnicki, F. Heras, and J. Larrosa
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs
In Proc. of IJCAI-05, pages 84–89, Edinburgh, Scotland, 2005
125
S. Bouveret, F. Heras, S.de Givry, J. Larrosa, M. Sanchez, and T. Schiex
Toolbar: a state-of-the-art platform for wcsp
https://miat.inrae.fr/degivry/ToolBar.pdf, 2004
126
S. de Givry
Singleton consistency and dominance for weighted csp
In Proc. of 6th International CP-2004 Workshop on Preferences and Soft Constraints, page 15p., Toronto, Canada, 2004
127
S. de Givry, J. Larrosa, P. Meseguer, and T. Schiex
Solving max-sat as weighted csp
In Proc. of CP-03, pages 363–376, Kinsale, Ireland, 2003
128
B. Cabon, S. de Givry, L. Lobjois, T. Schiex, and J.P. Warners
Radio Link Frequency Assignment
Constraints, 4(1):79–89, 1999
129
B. Cabon, S. de Givry, and G. Verfaillie
Anytime Lower Bounds for Constraint Optimization Problems
In Proc. of CP-98, pages 117–131, Pisa, Italy, 1998
130
S. de Givry, G. Verfaillie, and T. Schiex
Bounding the Optimum of Constraint Optimization Problems
In Proc. of CP-97, pages 405–419, Schloss Hagenberg, Austria, October 29 - November 1 1997
131
Gérard Verfaillie and Simon de Givry
Algorithmic problems and solutions in the valued constraint satisfaction problem framework
In Proc. of the Fifth European Congress on Fuzzy and Intelligent Technologies (EUFIT-97), Aachen, Germany, 1997
132
S. de Givry and G. Verfaillie
Optimum Anytime Bounding for Constraint Optimization Problems
In Proc. of the AAAI97 workshop on "Building Resource-Bounded Reasoning Systems", Providence, RI, July 27 1997
 
In French:
134
Pierre Montalbano, Simon de Givry, and George Katsirelos
Contrainte de sac-à-dos à choix multiples dans les réseaux de fonctions de coûts
In Proc. of JFPC-21, pages 1–11, Nice, France, 2021
135
Fulya Trösser, Simon de Givry, and George Katsirelos
Heuristiques exploitant la relaxation linéaire pour l'optimisation dans les réseaux de fonction de coût
In Proc. of JFPC-19, pages 77–86, Albi, France, 2019
136
M. Ruffini, J. Vucinic, S. de Givry, G. Katsirelos, S. Barbe, and T. Schiex
Qualité et diversité garanties dans les réseaux de fonctions de coût
In Proc. of JFPC-19, pages 143–152, Albi, France, 2019
137
Abdelkader Ouali, David Allouche, Simon de Givry, Samir Loudni, Yahia Lebbah, Francisco Eckhardt, and Lakhdar Loukil
Vns itératif guidé par la décomposition arborescente pour la minimisation d'énergie dans les modèles graphiques
In Proc. of JFPC-18, pages 123–124, Amiens, France, 2018
138
Abdelkader Ouali, David Allouche, Simon de Givry, Samir Loudni, Yahia Lebbah, Francisco Eckhardt, and Lakhdar Loukil
Recherche complète à voisinages variables guidée par la décomposition arborescente pour la minimisation d'énergie dans les modèles graphiques
In Journées Francophones sur les Réseaux Bayésiens et les Modèles Graphiques Probabilistes, pages 107–113, Toulouse, France, 2018
139
B Hurley, B O'Sullivan, D Allouche, G Katsirelos, T Schiex, Matthias Zytnicki, and S de Givry
Comparaison de logiciels d'optimisation discrète sur une collection multi-langage de modèles graphiques
In Journées Francophones sur les Réseaux Bayésiens et les Modèles Graphiques Probabilistes, page 19 pages, Clermont-Ferrand, France, 2016
140
D Allouche, S de Givry, B Hurley, G Katsirelos, B O'Sullivan, and T Schiex
Une comparaison de logiciels d'optimisation sur une large collection de modèles graphiques
In Proc. of JFPC-14, pages 301–310, Angers, France, 2014
https://miat.inrae.fr/degivry/Givry14bpres.pdf (slides in French)
141
M. Cooper, S. de Givry, and T. Schiex
Panorama de l'Intelligence Artificielle, volume II: Algorithmes pour l'intelligence artificielle, chapter Réseaux de contraintes valués
Cépaduès, 2014
142
S de Givry, editor
Actes des Huitièms Journées Francophones de Programmation par Contraintes, Toulouse, France, 2012. Organized by C. Garion and MJ Huguet and T. Schiex
143
D Allouche, C Bessiere, P Boizumault, S de Givry, P Gutierrez, S Loudni, JP Métivier, and T Schiex
Filtrage de fonctions de coût globales décomposables
In Proc. of JFPC-12, pages 15–24, Toulouse, France, 2012
144
A Favier, S de Givry, A Legarra, and T Schiex
Décomposition par paire pour l'optimisation combinatoire dans les modèles graphiques
In Proc. of JFPC-11, Lyon, France, 2011
145
S de Givry
Optimisation combinatoire dans les réseaux de fonctions de coût
Habilitation à dirigé des recherches, UPS, Toulouse, March 29, 2011
https://miat.inrae.fr/degivry/Givry11a_pres.pdf
146
A. Favier, S. de Givry, and P. Jégou
Comptage de solutions en exploitant la structure du graphe de contraintes
In Actes des Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, 2009
147
M Sanchez, D Allouche, S de Givry, and T Schiex
Algorithme des poupées russes exploitant une décomposition arborescente
In Yves Deville, editor, Actes des Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, 2009
148
M. Cooper, S. de Givry, M. Sanchez, T. Schiex, and M. Zytnicki
Cohérence d'arc virtuelle pour les csp pondérés
In Proc. of JFPC-08, Nantes, France, 2008
149
S. de Givry, T. Schiex, and G. Verfaillie
Décomposition arborescente et cohérence locale souple dans les csp pondérés
In Proc. of JFPC-06, page 10p., N&̂#305;mes, France, 2006
150
M. Zytnicki, F. Heras, S. de Givry, and J. Larrosa
Cohérence d'arc existentielle: un pas de plus vers la cohérence d'arc complète
In Proc. of JFPC-05, pages 139–148, Lens, France, 2005
151
Simon de Givry
Minorants de problèmes de minimisation de violation de contraintes : recherche de bonnes relaxations à l'aide de méthodes incomplètes
In Proc. of JNPC-99, Lyon, France, 1999
152
Simon de Givry
Algorithmes d'optimisation sous contraintes étudiés dans un cadre temps réel
PhD thesis, École Nationale Supérieure de l'Aéronautique et de l'Espace, Toulouse, France, 1998
153
Simon de Givry and Gérard Verfaillie
Problèmes d'optimisation sous contraintes : Encadrement anytime de l'optimum
In Proc. of JNPC-97, pages 33–39, Rennes, France, 21-22 avril 1997
 
Constraint Programming
155
Thomas Schiex and Simon de Givry, editors
Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, volume 11802 of Lecture Notes in Computer Science. Springer, 2019
156
S. de Givry and L. Jeannin
A unified framework for partial and hybrid search methods in constraint programming
Computer & Operations Research, 33(10):2805–2833, 2006
157
L. Jeannin and S. de Givry
Network planning with constraint programming (short paper)
In Proc. of International Network Optimization Conference, Evry/Paris, France, October 27-29 2003
158
S. de Givry and L. Jeannin
ToOLS: A library for partial and hybrid search methods
In Proc. of CP-AI-OR'2003, pages 124–138, Montréal, Canada, 2003
159
S. de Givry, L. Jeannin, F. Josset, J. Mattioli, N. Museux, and P. Savéant
The THALES constraint programming framework for hard and soft real-time applications
The PLANET Newsletter, Issue 5 ISSN 1610-0212, pages 5-7, December 2002
http://planet.dfki.de/service/Resources/Rome/degivry.pdf (slides)
160
S. de Givry, P. Gérard, L. Jeannin, J. Mattioli, N. Museux, and P. Savéant
A constraint optimization framework for real-time applications
In Proc. of AIPS-2002 Workshop on On-line Planning and Scheduling, Toulouse, France, 2002
161
J. Mattioli, N. Museux, J. Jourdan, P. Savéant, and S. de Givry
A constraint optimization framework for mapping a digital signal processing application onto a parallel architecture
In Proc. of CP-01, pages 701–715, Paphos, Cyprus, 2001
162
S. de Givry and J. Mattioli
Proc. of CP-2001 workshop on on-line combinatorial problem solving and constraint programming (OLCP'01)
Paphos, Cyprus, 2001
163
S. de Givry, Y. Hamadi, J. Mattioli, P. Gérard, M. Lema&̂#305;tre, G. Verfaillie, A. Aggoun, I. Gouachi, T. Benoist, E. Bourreau, F. Laburthe, P. David, S. Loudni, and S. Bourgault
Towards an on-line optimisation framework
In CP-2001 Workshop on On-Line combinatorial problem solving and ConstraintProgramming (OLCP'01), pages 45–61, Paphos, Cyprus, December 1 2001
164
S. de Givry, P. Gérard, J. Jourdan, J. Mattioli, N. Museux, and P. Savéant
How does constraint technology meet industrial constraints?
In Proc. of ESA workshop on On-Board Autonomy, pages 189–200, Noordwijk, The Netherlands, 2001
165
S. de Givry, G. Verfaillie, and D. Lesaint
On-line scheduling roadmap
Chapter in the PLANET Roadmap on AI Planning and Scheduling, 2001
http://planet.dfki.de/service/Resources/Roadmap/Roadmap.pdf
http://planet.dfki.de/service/Resources/Marseille/SimonDeGivry/index.html (slides)
http://www.informatik.uni-ulm.de/ki/Planet/TCU-olps/
166
Jean Jourdan, Simon de Givry, and Pierre Savéant
Designing limited search algorithms for time constrained combinatorial optimization problems
Technical report, Thales Research & Development, 1999
 
In French:
168
S. de Givry and L. Jeannin
Modélisation et résolution en programmation par contraintes
Gestion des prises de vue réalisées par un satellite agile d'observation de la Terre. 3ème challenge ROADEF, Avignon, France, 2003
169
L. Jeannin and S. de Givry
Optimisation des évolutions d'un réseau télécoms
In Proc. of JFPLC-03, pages 183–186, Amiens, France, 2003
170
L. Jeannin and S. de Givry
Aide à la conception de réseaux télécoms
In Proc. of ROADEF-03, pages 369–370, Avignon, France, 2003
171
S. de Givry and Y. Hamadi
Procédé d'aide à la conception d'algorithmes d'optimisation prenant en compte une limite de temps
Brevet THALES numéro 0115193, 2001
172
Simon de Givry, Pierre Savéant, and Jean Jourdan
Optimisation combinatoire en temps limité : Depth first branch and bound adaptatif
In Proc. of JFPLC-99, pages 161–178, Lyon, France, 1999
 
Intelligent real-time systems
174
Martin Adelantado and Simon de Givry
Reactive/Anytime Agents: Towards Intelligent Agents with Real-Time Performance
In IJCAI'95 Workshop on Anytime Algorithms and Deliberation Scheduling, Montreal, Canada, August 21-25 1995
175
Martin Adelantado, Frédéric Boniol, and Simon de Givry
Saturne: a reactive - anytime programming model for intelligent embedded real-time systems
In 3rd IEEE Workshop on Parallel and Distributed Real-Time Systems, Santa Barbara, California, April 24-26 1995
 
In French:
177
Martin Adelantado, Frédéric Boniol, Augusto Burgueno, Simon de Givry, and Florence Pagani
Un modèle de systèmes hybrides pour le contrôle de processus temps-réel interrogeables
In Journées Formalisation des Activités Concurrentes, Université Paul Sabatier-IRIT, Toulouse, France, 7-8 février 1996