Bibliography

Bioinformatics

2

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

3

M. Sanchez, S. de Givry, and T. Schiex
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques
Constraints, 13(1):130-154, 2008
Special issue on Bioinformatics and Constraints. The original publication is available at http://www.springerlink.com

4

Patricia Thébault, Simon de Givry, Thomas Schiex, and Christine Gaspin
Searching RNA motifs and their intermolecular contacts with constraint networks
Bioinformatics, 22(17):2074-2080, 2006

5

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

6

Simon de Givry, Martin Bouchez, Patrick Chabrier, Denis Milan, and Thomas Schiex
CARTHAGENE: multipopulation integrated genetic and radiated hybrid mapping
Bioinformatics, 21(8):1703-1704, 2005

Valued Constraint Satisfaction Problems

8

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

9

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

10

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

11

M. Cooper, S. de Givry, M. Sanchez, T. Schiex, M. Zytnicki, and T. Werner
Soft arc consistency revisited
Artificial Intelligence, (7-8):449-478, 2010

12

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

13

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

14

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

15

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

16

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

17

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

18

Simon de Givry, Thomas Schiex, and Gérard Verfaillie
Exploiting tree decomposition and soft local consistency in weighted csp
In Proc. of AAAI-06, Boston, MA, 2006
http://www.inra.fr/mia/T/degivry/VerfaillieAAAI06pres.pdf (slides)

19

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

20

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, County Cork, Ireland, 2003

21

Bertrand Cabon, Simon de Givry, and Gérard Verfaillie
Anytime Lower Bounds for Constraint Optimization Problems
In Proc. of CP-98, pages 117-131, Pisa, Italy, October 26-30 1998

22

Simon de Givry, Gérard Verfaillie, and Thomas Schiex
Bounding the Optimum of Constraint Optimization Problems
In Proc. of CP-97, pages 405-419, Schloss Hagenberg, Austria, October 29 - November 1 1997

Constraint Programming

24

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

25

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)

26

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

27

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