Bibliography

Structure Learning and Gene Regulatory Networks

2
Fulya Trösser, Simon de Givry, and George Katsirelos
Structured set variable domains in bayesian network structure learning
In Proc. of CP-22, Haifa, Israel, 2022

3
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

4
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

5
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

6
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

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 Proc. of JOBIM, pages 338-341, Marseilles, France, 2018
https://miat.inrae.fr/degivry/Pomies18aa.pdf (poster)

8
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

9
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

10
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

11
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

12
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

13
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:

15
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

16
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

17
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

18
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

20
Sara Maqrot, Simon De Givry, Marc Tchamitchian, and Gauthier Quesnel
Learning parameters of the wedelin heuristic with application to crew and bus driver scheduling
2021

21
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

22
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

23
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

24
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

25
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

26
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

27
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

28
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:

30
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

32
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

33
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

34
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

35
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

36
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

37
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

38
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

39
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

40
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

41
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

42
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

43
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

44
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

45
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

46
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

47
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

48
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

49
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

50
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

51
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

52
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

53
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

54
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

55
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

56
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

57
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:

59
D. Allouche, S. de Givry, and T. Schiex
Sélection de tagSNP : une approche PLNE
In Proc. of ROADEF-10, Toulouse, France, 2010

60
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

61
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

62
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

64
Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, and Simon de Givry
Parallel hybrid best-first search
In Proc. of CP-22, Haifa, Israel, 2022

65
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

66
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

67
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

68
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

69
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

70
Martin C. Cooper, Simon de Givry, and Thomas Schiex
Valued Constraint Satisfaction Problems, pages 185-207
Springer International Publishing, 2020

71
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

72
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

73
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

74
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)

75
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

76
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

77
S de Givry and G Katsirelos
Clique Cuts in Weighted Constraint Satisfaction
In Proc. of CP-17, pages 97-113, Melbourne, Australia, 2017

78
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

79
Hiep Nguyen, Christian Bessiere, Simon de Givry, and Thomas Schiex
Triangle-based Consistencies for Cost Function Networks
Constraints, 22(2):230-264, 2017

80
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

81
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

82
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

83
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

84
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

85
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

86
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

87
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

88
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

89
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

90
François Fages, Simon de Givry, and Christine Solnon, editors
Preface, volume 47:2, 2013

91
D Allouche, S de Givry, and T Schiex
Max-sat evaluation 2013: Toulbar2 to solve weighted partial max-sat
Technical report, INRA, 2013

92
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

93
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

94
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

95
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)

96
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

97
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

98
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

99
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

100
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

101
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

102
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

103
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

104
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

105
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

106
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

107
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

108
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

109
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

110
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

111
J. Larrosa, F. Heras, and S. de Givry
A logical approach to efficient max-sat solving
Artificial Intelligence, 172(2-3):204-233, 2008

112
M. Cooper, S. de Givry, and T. Schiex
Optimal soft arc consistency
In Proc. of IJCAI-07, pages 68-73, Hyderabad, India, 2007

113
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

114
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

115
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

116
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

117
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

118
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

119
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

120
B. Cabon, S. de Givry, L. Lobjois, T. Schiex, and J.P. Warners
Radio Link Frequency Assignment
Constraints, 4(1):79-89, 1999

121
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

122
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

123
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

124
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:

126
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

127
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

128
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

129
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

130
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

131
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

132
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)

133
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

134
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

135
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

136
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

137
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

138
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

139
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

140
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

141
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îmes, France, 2006

142
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

143
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

144
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

145
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

147
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

148
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

149
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

150
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

151
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)

152
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

153
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

154
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

155
S. de Givry, Y. Hamadi, J. Mattioli, P. Gérard, M. Lemaî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

156
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

157
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/

158
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:

160
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

161
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

162
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

163
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

164
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

166
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

167
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:

169
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


Simon Degivry 2022-05-17