Bibliography

Bioinformatics

2

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

3

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

4

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

5

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

6

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

7

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

8

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

9

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

10

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

11

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

12

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

13

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

14

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

15

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

16

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

17

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

18

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

19

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:

21

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

22

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

23

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

24

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

25

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

26

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

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

29

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

30

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

31

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

32

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

33

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

34

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

35

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

36

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

37

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

38

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

39

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

40

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

41

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

42

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

43

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

44

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

45

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

46

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

47

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

48

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

49

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

50

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

51

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

52

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

53

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

54

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

55

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

56

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:

58

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

59

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

60

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

61

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

62

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

63

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

64

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

65

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

66

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

67

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

69

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

70

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

71

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

72

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)

73

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

74

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

75

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

76

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

77

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

78

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/

79

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:

81

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

82

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

83

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

84

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

85

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

87

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

88

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:

90

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