Bibliography

Structure Learning and Gene Regulatory Networks

2
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

3
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
http://www.inra.fr/mia/T/degivry/Pomies18aa.pdf (poster)

4
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

5
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

6
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

7
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

8
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

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

11
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

12
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

13
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

14
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

16
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

17
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

18
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

19
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

20
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

21
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

22
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

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

25
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

27
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

28
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

29
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

30
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

31
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

32
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

33
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

34
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

35
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

36
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

37
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

38
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

39
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

40
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

41
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

42
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

43
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

44
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

45
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

46
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

47
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

48
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

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

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

52
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

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 JOBIM-06, page 11p., Bordeaux, France, 2006

54
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

56
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
http://www.inra.fr/mia/T/degivry/GivryISMP2018.pdf

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

58
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

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

60
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

61
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, http://www.inra.fr/mia/T/degivry/cpaior16sdg.pdf

62
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

63
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

64
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

65
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

66
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

67
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

68
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

69
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

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

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

72
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

73
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

74
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

75
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
http://www.inra.fr/mia/T/degivry/Ficolofo2012poster.pdf (poster)

76
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

77
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 http://www.inra.fr/mia/T/degivry/Favier11.mov

78
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

79
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

80
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

81
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

82
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

83
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

84
R. Marinescu, R. Dechter, S. de Givry, and T. Schiex
Combinatorial optimization for graphical models
IJCAI-09 tutorial, July 2009
http://www.inra.fr/mia/T/degivry/tutorial_optimization_ijcai09.ppt

85
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
http://www.inra.fr/mia/T/degivry/rdsbtd_ijcai09_sdg.ppt

86
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

87
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

88
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

89
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

90
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

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

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

93
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

94
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

95
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

96
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

97
S. Bouveret, F. Heras, S.de Givry, J. Larrosa, M. Sanchez, and T. Schiex
Toolbar: a state-of-the-art platform for wcsp
http://www.inra.fr/mia/T/degivry/ToolBar.pdf, 2004

98
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

99
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

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

101
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

102
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

103
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

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

106
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

107
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

108
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

109
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
http://www.inra.fr/mia/T/degivry/Givry14bpres.pdf (slides in French)

110
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

111
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

112
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

113
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

114
S de Givry
Optimisation combinatoire dans les réseaux de fonctions de coût
Habilitation à dirigé des recherches, UPS, Toulouse, March 29, 2011
http://www.inra.fr/mia/T/degivry/Givry11a_pres.pdf

115
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

116
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

117
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

118
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

119
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

120
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

121
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

122
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

124
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

125
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

126
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

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

128
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

129
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

130
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

131
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

132
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

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

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

136
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

137
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

138
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

139
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

140
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

142
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

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

145
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 2019-04-12