@STRING{AI = "Artificial Intelligence"} @STRING{JAIR = "Journal of Artificial Intelligence Research"} @STRING{RIA = "Revue d'Intelligence Artificielle"} @STRING{CI = "Computational Intelligence"} @STRING{IPL = "Information Processing Letters"} @STRING{IJAIT = "International Journal of Artificial Intelligence Tools"} @STRING{IJCAI69P = "Proc.\ of IJCAI-69"} @STRING{IJCAI69L = "Washington, DC"} @STRING{IJCAI71P = "Proc.\ of IJCAI-71"} @STRING{IJCAI71L = "London, UK"} @STRING{IJCAI73P = "Proc.\ of IJCAI-73"} @STRING{IJCAI73L = "Stanford, MA"} @STRING{IJCAI75P = "Proc.\ of IJCAI-75"} @STRING{IJCAI75L = "Tiblisi, USSR"} @STRING{IJCAI77P = "Proc.\ of IJCAI-77"} @STRING{IJCAI77L = "Cambridge, MA"} @STRING{IJCAI79P = "Proc.\ of IJCAI-79"} @STRING{IJCAI79L = "Tokyo, Japan"} @STRING{IJCAI81P = "Proc.\ of IJCAI-81"} @STRING{IJCAI81L = "Vancouver, Canada"} @STRING{IJCAI83P = "Proc.\ of IJCAI-83"} @STRING{IJCAI83L = "Karlsruhe, FRG"} @STRING{IJCAI85P = "Proc.\ of IJCAI-85"} @STRING{IJCAI85L = "Los Angeles, CA"} @STRING{IJCAI87P = "Proc.\ of IJCAI-87"} @STRING{IJCAI87L = "Milan, Italy"} @STRING{IJCAI89P = "Proc.\ of IJCAI-89"} @STRING{IJCAI89L = "Detroit, MI"} @STRING{IJCAI91P = "Proc.\ of IJCAI-91"} @STRING{IJCAI91L = "Sidney, Australia"} @STRING{IJCAI93P = "Proc.\ of IJCAI-93"} @STRING{IJCAI93L = "Chambery, France"} @STRING{IJCAI95P = "Proc.\ of IJCAI-95"} @STRING{IJCAI95L = "Montr{\'e}al, Canada"} @STRING{IJCAI97P = "Proc.\ of IJCAI-97"} @STRING{IJCAI97L = "Nagoya, Japan"} @STRING{IJCAI99P = "Proc.\ of IJCAI-99"} @STRING{IJCAI99L = "Stockholm, Sweden"} @STRING{IJCAI01P = "Proc.\ of IJCAI-01"} @STRING{IJCAI01L = "Seattle, Washington, USA"} @STRING{IJCAI05P = "Proc.\ of IJCAI-05"} @STRING{IJCAI05L = "Edinburgh, Scotland"} @STRING{IJCAI07P = "Proc.\ of IJCAI-07"} @STRING{IJCAI07L = "Hyderabad, India"} @STRING{IJCAI11P = "Proc.\ of IJCAI-11"} @STRING{IJCAI11L = "Barcelona, Spain"} @STRING{AAAI80P = "Proc.\ of AAAI-80"} @STRING{AAAI80L = "Stanford, CA"} @STRING{AAAI82P = "Proc.\ of AAAI-82"} @STRING{AAAI82L = "Pittsburgh, PA"} @STRING{AAAI83P = "Proc.\ of AAAI-83"} @STRING{AAAI83L = "Washington, DC"} @STRING{AAAI84P = "Proc.\ of AAAI-84"} @STRING{AAAI84L = "Austin, TX"} @STRING{AAAI86P = "Proc.\ of AAAI-86"} @STRING{AAAI86L = "Philadelphia, PA"} @STRING{AAAI87P = "Proc.\ of AAAI-87"} @STRING{AAAI87L = "Seattle, WA"} @STRING{AAAI88P = "Proc.\ of AAAI-88"} @STRING{AAAI88L = "St. Paul, MN"} @STRING{AAAI90P = "Proc.\ of AAAI-90"} @STRING{AAAI90L = "Boston, MA"} @STRING{AAAI91P = "Proc.\ of AAAI-91"} @STRING{AAAI91L = "Anaheim, CA"} @STRING{AAAI92P = "Proc.\ of AAAI-92"} @STRING{AAAI92L = "San Jose, CA"} @STRING{AAAI93P = "Proc.\ of AAAI-93"} @STRING{AAAI93L = "Washington, DC"} @STRING{AAAI94P = "Proc.\ of AAAI-94"} @STRING{AAAI94L = "Seattle, WA"} @STRING{AAAI96P = "Proc.\ of AAAI-96"} @STRING{AAAI96L = "Portland, OR"} @STRING{AAAI97P = "Proc.\ of AAAI-97"} @STRING{AAAI97L = "Providence, RI"} @STRING{AAAI98P = "Proc.\ of AAAI-98"} @STRING{AAAI98L = "Madison, WI"} @STRING{AAAI06P = "Proc.\ of AAAI-06"} @STRING{AAAI06L = "Boston, MA"} @STRING{AAAI08P = "Proc.\ of AAAI-08"} @STRING{AAAI08L = "Chicago, IL"} @STRING{ECAI90P = "Proc.\ of ECAI-90"} @STRING{ECAI90L = "Stockholm, Sueden"} @STRING{ECAI92P = "Proc.\ of ECAI-92"} @STRING{ECAI92L = "Vienna, Austria"} @STRING{ECAI94P = "Proc.\ of ECAI-94"} @STRING{ECAI94L = "Amsterdam, The Netherlands"} @STRING{ECAI96P = "Proc.\ of ECAI-96"} @STRING{ECAI96L = "Budapest, Hungary"} @STRING{ECAI98P = "Proc.\ of ECAI-98"} @STRING{ECAI98L = "Brighton, England"} @STRING{ECAI02P = "Proc.\ of ECAI-02"} @STRING{ECAI02L = "Lyon, France"} @STRING{ICTAI93P = "Proc.\ of ICTAI-93"} @STRING{ICTAI96P = "Proc.\ of ICTAI-96"} @STRING{ICTAI96L = "Toulouse, France"} @STRING{CP95P = "Proc.\ of CP-95"} @STRING{CP95L = "Cassis, France"} @STRING{CP96P = "Proc.\ of CP-96"} @STRING{CP96L = "Cambridge, MA, USA"} @STRING{CP97P = "Proc.\ of CP-97"} @STRING{CP97L = "Schloss Hagenberg, Austria"} @STRING{CP98P = "Proc.\ of CP-98"} @STRING{CP98L = "Pisa, Italy"} @STRING{CP99P = "Proc.\ of CP-99"} @STRING{CP99L = "Alexandria, Virginia"} @STRING{CP00P = "Proc.\ of CP-00"} @STRING{CP00L = "Singapore"} @STRING{CP01P = "Proc.\ of CP-01"} @STRING{CP01L = "Paphos, Cyprus"} @STRING{CP02P = "Proc.\ of CP-02"} @STRING{CP02L = "Ithaca, NY, USA"} @STRING{CP03P = "Proc.\ of CP-03"} @STRING{CP03L = "Kinsale, Ireland"} @STRING{CP09P = "Proc.\ of CP-09"} @STRING{CP09L = "Lisbon, Portugal"} @STRING{CP10P = "Proc.\ of CP-10"} @STRING{CP10L = "St Andrews, Scotland"} @STRING{ICLP89P = "Proc.\ of ICLP'89"} @STRING{ICLP89L = "Lisbon, Portugal"} @STRING{ICLP99P = "Proc.\ of ICLP'99"} @STRING{ICLP99L = "Las Cruces, New Mexico"} @STRING{JNPC97P = "Proc.\ of JNPC-97"} @STRING{JNPC97L = "Rennes, France"} @STRING{JNPC99P = "Proc.\ of JNPC-99"} @STRING{JNPC99L = "Lyon, France"} @STRING{JNPC00P = "Proc.\ of JNPC-00"} @STRING{JNPC00L = "Marseille, France"} @STRING{JFPLC99P = "Proc.\ of JFPLC-99"} @STRING{JFPLC99L = "Lyon, France"} @STRING{JFPLC03P = "Proc.\ of JFPLC-03"} @STRING{JFPLC03L = "Amiens, France"} @STRING{JFPC05P = "Proc.\ of JFPC-05"} @STRING{JFPC05L = "Lens, France"} @STRING{JFPC06P = "Proc.\ of JFPC-06"} @STRING{JFPC06L = "N\^{\i}mes, France"} @STRING{JFPC08P = "Proc.\ of JFPC-08"} @STRING{JFPC08L = "Nantes, France"} @STRING{JFPC11P = "Proc.\ of JFPC-11"} @STRING{JFPC11L = "Lyon, France"} @STRING{CPAIOR99P = "Proc.\ of CP-AI-OR'1999"} @STRING{CPAIOR99L = "Ferrara, Italy"} @STRING{CPAIOR00P = "Proc.\ of CP-AI-OR'2000"} @STRING{CPAIOR00L = "Paderborn, Germany"} @STRING{CPAIOR01P = "Proc.\ of CP-AI-OR'2001"} @STRING{CPAIOR01L = "Wye College (Imperial College), Ashford, Kent UK"} @STRING{CPAIOR02P = "Proc.\ of CP-AI-OR'2002"} @STRING{CPAIOR02L = "Le Croisic, France"} @STRING{CPAIOR03P = "Proc.\ of CP-AI-OR'2003"} @STRING{CPAIOR03L = "Montr\'eal, Canada"} @STRING{ROADEF03P = "Proc.\ of ROADEF-03"} @STRING{ROADEF03L = "Avignon, France"} @inproceedings{Vandel11a, year = {2011}, author = {Vandel, J and de Givry, S}, booktitle = {CP-11 workshop on Constraint Based Methods for Bioinformatics}, address = {Perugia, Italy}, pages = {67--72}, title = {{A New Local Move Operator for Reconstructing Gene Regulatory networks}} } @Article{Servin10b, author = {B. Servin and S. de Givry and T. Faraut}, title = {Statistical confidence measures for genome maps: application to the validation of genome assemblies}, journal = {Bioinformatics}, year = {2010}, volume = {26}, number = {24}, pages = {3035-3042}, annote = {} } @InProceedings{Vandel10b, author = {Vandel, J and Mangin, B and Vignes, M and de Givry, S}, title = {Extended Bayesian scores for reconstructing gene regulatory networks}, booktitle = {ECCS-10 workshop on graphical models for reasoning on biological systems: computational challenges}, year = {2010}, address = {Lisbon, Portugal}, annote = {} } @inproceedings{Favier10a, year = {2010}, author = {Favier, A. and Elsen, J-M. and de Givry, S. and Legarra, A.}, booktitle = {ICLP-10 workshop on Constraint Based Methods for Bioinformatics}, address = {Edinburgh, UK}, title = {{Optimal haplotype reconstruction in half-sib families}}, } @inproceedings{Favier10b, year = {2010}, author = {Favier, A. and Elsen, J-M. and de Givry, S. and Legarra, A.}, booktitle = {9th World Congress on Genetics Applied to Livestock Production (WCGALP-10)}, address = {Leipzig, Germany}, title = {{Exact Haplotype Reconstruction in Half-Sib Families with Dense Marker Maps}} } @InProceedings{Servin10a, year = {2010}, author = {Servin, B and de Givry, S and Faraut T}, title = {Modelling Radiation Hybrid Maps Uncertainty and Application to the Validation of Whole Genome Assemblies}, booktitle = {9th World Congress on Genetics Applied to Livestock Production (WCGALP-10)}, address = {Leipzig, Germany} } @Article{Faraut09a, author = {Faraut, T and de Givry, S and Hitte, C and Lahbib-Mansais, Y and Morisson, M and Milan, D and Schiex, T and Servin, B and Vignal, A and Galibert, F and Yerle, M}, title = {{Contribution of Radiation Hybrids to Genome Mapping in Domestic Animals}}, journal = {{Cytogenetic and Genome Research}}, year = {2009}, volume = {126}, pages = {21-33}, annote = {} } @inproceedings{Allouche09a, year = {2009}, author = {Allouche, D and de Givry, S and Sanchez, M and Schiex, T}, booktitle = {CP-09 workshop on Constraint Based Methods for Bioinformatics}, address = CP09L, title = {{TagSNP selection using Weighted CSP and Russian Doll Search with Tree Decomposition}}, } @Article{Sanchez07a, author = {M. S{\'a}nchez and S. de Givry and T. Schiex}, title = {Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques}, journal = {Constraints}, year = {2008}, volume = {13}, number = {1}, pages = {130--154}, OPTnote = {Special issue on {B}ioinformatics and {C}onstraints. The original publication is available at {http://www.springerlink.com}.}, OPThowpublished = {DOI: 10.1007/s10601-007-9029-5}, annote = {} } @Article{Marques07, author = {Elisa Marques and Simon De Givry and Paul Stothard and Brenda Murdoch and Zhiquan Wang and James Womack and Stephen Moore}, title = {A high resolution radiation hybrid map of bovine chromosome 14 identifies scaffold rearrangement in the latest bovine assembly}, journal = {BMC Genomics}, year = {2007}, number = {8}, pages = {254}, annote = {} } @Article{Faraut07a, author = {T. Faraut and S. de Givry and P. Chabrier and T. Derrien and F. Galibert and C. Hitte and T. Schiex}, title = {A comparative genome approach to marker ordering}, journal = {Bioinformatics}, year = {2007}, volume = {23}, number = {2}, pages = {50--56}, annote = {} } @InProceedings{Faraut06a, author = {T. Faraut and S. de Givry and P. Chabrier and T. Derrien and F. Galibert and C. Hitte and T. Schiex}, title = {A comparative genome approach to marker ordering}, booktitle = {Proc.\ of ECCB-06}, year = {2007}, pages = {7p.}, address = {Eilat, Israel}, annote = {} } @Article{Thebault06a, author = {P. Th\'ebault and S. de Givry and T. Schiex and C. Gaspin}, title = {Searching {RNA} motifs and their intermolecular contacts with constraint networks}, journal = {Bioinformatics}, year = {2006}, OPTkey = {doi:10.1093/bioinformatics/btl354}, volume = {22}, number = {17}, pages = {2074--2080}, annote = {} } @InProceedings{Givry06b, author = {S. de Givry and Z. Vitezica and I. Palhiere and T. Schiex}, title = {MendelSoft: Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques}, booktitle = {8th World Congress on Genetics Applied to Livestock Production}, pages = {2p.}, year = {2006}, address = {Belo Horizonte, Brazil}, OPTnote = {http://www.inra.fr/mia/T/degivry/Givry06c.ps.gz (poster)}, annote = {} } @InProceedings{Schiex05a, author = {S. de Givry and I. Palhiere and Z. Vitezica and T. Schiex}, title = {Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques}, booktitle = {ICLP-05 workshop on Constraint Based Methods for Bioinformatics}, pages = {9p.}, year = {2005}, address = {Sitges, Spain}, annote = {} } @InProceedings{Thebault05a, author = {Patricia Th\'ebault and Simon de Givry and Thomas Schiex and Christine Gaspin}, title = {Combining Constraint Processing and Pattern Matching to Describe and Locate Structured Motifs in Genomic Sequences}, booktitle = {Fifth IJCAI-05 Workshop on Modelling and Solving Problems with Constraints}, pages = {8p.}, year = {2005}, address = {Edindurgh, Scotland}, annote = {} } @article{Schiex04, author = {de Givry, S. and Bouchez, M. and Chabrier, P. and Milan, D. and Schiex, T.}, title = {{CARTHAGENE: multipopulation integrated genetic and radiated hybrid mapping}}, journal = {Bioinformatics}, volume = {21}, number = {8}, pages = {1703-1704}, year = {2005}, annote = {} } @InProceedings{Vandel10a, author = {J. Vandel and S. de Givry and B. Mangin and M. Vignes}, title = {Reconstruction de réseau de régulation de gène à l'aide de données génomiques et de données génétiques}, booktitle = {Proc.\ of CAP-10}, OPTpages = {}, year = {2010}, OPTaddress = {Clermont-Ferrand, France}, annote = {} } @InProceedings{Allouche10a, author = {D. Allouche and S. de Givry and T. Schiex}, title = {{Sélection de tagSNP : une approche PLNE}}, booktitle = {Proc.\ of ROADEF-10}, OPTpages = {}, year = {2010}, address = {Toulouse, France}, annote = {} } @InProceedings{Vandel09a, author = {Vandel, J. and de Givry, S.}, title = {Inf\'erence de r\'eseaux de r\'egulation de g\`enes \`a partir de donn\'ees d'expression et de polymorphisme}, booktitle = {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}, year = {2009}, address = {Nantes, France}, annote = {} } @InProceedings{Servin08a, author = {Servin, B. and de Givry, S. and Faraut, T.}, title = {Modélisation de l'incertitude des cartes comparées et application à l'étude des assemblages génomiques}, booktitle = {Séminaire Génétique Animale}, year = {2008}, address = {Lacanau, France}, annote = {} } @InProceedings{Faraut06b, author = {T. Faraut and S. de Givry and P. Chabrier and T. Derrien and F. Galibert and C. Hitte and T. Schiex}, title = {A comparative genome approach to marker ordering}, booktitle = {Proc.\ of JOBIM-06}, year = {2006}, pages = {11p.}, address = {Bordeaux, France}, annote = {} } @InProceedings{Givry03c, author = {P. Chabrier and C. Gaspin and S. de Givry and T. Schiex}, title = {Application des techniques du voyageur de commerce \`a la production de cartes g\'en\'etiques}, booktitle = ROADEF03P, pages = {74-76}, year = {2003}, address = ROADEF03L, annote = {} } @inproceedings{Akplogan11, year = {2011}, author = {Akplogan, M and Dury, J and de Givry, S and Quesnel, G and Joannon, A and Reynaud, A and Bergez, J-E and Garcia, F}, booktitle = {Proc. of the Soft'2011 workshop}, pages = {1--15}, address = {Perugia, Italy}, title = {A Weighted CSP approach for solving spatio-temporal planning problem in farming systems} } @inproceedings{Ficolofo2011, year = {2011}, author = {Allouche, D and Bessiere, C and Boizumault, P and de Givry, S and Gutierrez, P and Loudni, S and Métivier, JP and Schiex, T}, booktitle = {Proc. of the Soft'2011 workshop}, pages = {16--30}, address = {Perugia, Italy}, title = {Decomposing Global Cost Functions} } @inproceedings{Favier11a, year = {2011}, author = {Favier, A and de Givry, S and Legarra, A and Schiex, T}, booktitle = IJCAI11P, address = IJCAI11L, title = {Pairwise decomposition for combinatorial optimization in graphical models} } @Article{Favier11c, author = {Favier, A. and de Givry, S. and J\'egou, P.}, title = {Solution Counting for {CSP} and {SAT} with Large Tree-Width}, journal = {Control Systems and Computers}, year = {2011}, OPTkey = {ISSN 0130-5395}, number = {2}, pages = {4--13}, address = {Kiev}, annote = {} } @InProceedings{Schiex10a, author = {Allouche, D. and de Givry, S. and Schiex, T.}, title = {Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP}, booktitle = CP10P, OPTpages = {}, year = {2010}, address = CP10L, annote = {} } @TechReport{ToulBar2UAI10, author = {Allouche, D. and de Givry, S. and Schiex, T.}, title = {ToulBar2, an open source exact cost function network solver}, institution = {INRA}, year = {2010}, pages = {5 p.}, note = {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} } @Article{Cooper10a, author = {Cooper, M. and de Givry, S. and Sanchez, M. and Schiex, T. and Zytnicki, M. and Werner, T.}, title = {Soft arc consistency revisited}, journal = {Artificial Intelligence}, year = {2010}, volume = {174}, number = {7--8}, pages = {449--478}, annote = {} } @InProceedings{Favier09a, author = {Favier, A. and de Givry, S. and J\'egou, P.}, title = {Exploiting Problem Structure for Solution Counting}, booktitle = CP09P, pages = {335-343}, year = {2009}, address = CP09L, annote = {} } @Article{Zytnicki09a, author = {Zytnicki, M. and Gaspin, C. and {de Givry}, S. and Schiex, T.}, title = {{Bounds Arc Consistency for Weighted CSPs}}, journal = {Journal of Artificial Intelligence Research}, year = {2009}, volume = {35}, pages = {593-621}, annote = {} } @inproceedings{Sanchez09a, year = {2009}, author = {Sanchez, M and Allouche, D and de Givry, S and Schiex, T}, booktitle = {Proc. of IJCAI'09}, address = {Pasadena (CA), USA}, title = {Russian Doll Search with Tree Decomposition}, note = {http://www.inra.fr/mia/T/degivry/rdsbtd\_ijcai09\_sdg.ppt} } @InProceedings{Sanchez08a, author = {M. Sanchez and D. Allouche and S. de Givry and T. Schiex}, title = {Russian Doll Search with Tree Decomposition}, booktitle = {Workshop on Preferences and Soft Constraints}, OPTpages = {15p.}, year = {2008}, address = {Sydney,Australia}, annote = {} } @InProceedings{Sanchez08b, author = {Sanchez, M.~ and Bouveret, S.~ and de Givry, S.~ and Heras, F.~ and J\'egou, P.~ and Larrosa, J.~ and Ndiaye, S.~ and Rollon, E.~ and Schiex, T.~ and Terrioux, C.~ and Verfaillie, G.~ and Zytnicki, M.~}, title = {Max-CSP Competition 2008: toulbar2 solver description}, booktitle = {Proceedings of the Third International CSP Solver Competition}, year = {2008} } @InProceedings{Cooper08, author = {Cooper, M. and de Givry, S. and Sanchez, M. and Schiex, T. and Zytnicki, M.}, title = {Virtual Arc Consistency for Weighted CSP}, booktitle = AAAI08P, OPTpages = {6p.}, year = {2008}, address = AAAI08L, annote = {} } @InProceedings{Bouveret08a, author = {Bouveret, S.~ and de Givry, S.~ and Heras, F.~ and Larrosa, J.~ and Rollon, E.~ and Sanchez, M.~ and Schiex, T.~ and Verfaillie, G.~ and M.~Zytnicki, M.~}, title = {Max-CSP Competition 2007: toolbar/toulbar2 Solver Brief Description}, pages = {19--21}, booktitle = {Proceedings of the Second International CSP Solver Competition}, editor = {van Dongen, M.R.C.~ and Lecoutre, Christophe and Roussel, Olivier}, year = {2008} } @Article{Larrosa07a, author = {J. Larrosa and F. Heras and S. de Givry}, title = {A Logical Approach to Efficient Max-SAT Solving}, journal = {Artificial Intelligence}, year = {2008}, volume = {172}, number = {2--3}, pages = {204--233}, annote = {} } @InProceedings{Cooper07, Author = {Cooper, M. and de Givry, S. and Schiex, T.}, Title = {Optimal soft arc consistency}, BookTitle = IJCAI07P, pages = {68--73}, Address = IJCAI07L, year = 2007, annote = {} } @InProceedings{Schiex06b, author = {M. Cooper and S. de Givry and T. Schiex}, title = {The quest for the best arc consistent closure in weighted CSP}, booktitle = {8th International CP-06 Workshop on Preferences and Soft Constraints}, pages = {14p.}, year = {2006}, address = {Nantes, France}, annote = {} } @InProceedings{Schiex06a, author = {S. de Givry and T. Schiex and G. Verfaillie}, title = {Exploiting {T}ree {D}ecomposition and {S}oft {L}ocal {C}onsistency in {W}eighted {CSP}}, booktitle = AAAI06P, OPTpages = {6p.}, year = {2006}, address = AAAI06L, howpublished = {http://www.inra.fr/mia/T/degivry/VerfaillieAAAI06pres.pdf (slides)}, annote = {} } @InProceedings{Givry05a, author = {Simon de Givry and Thomas Schiex and G\'erard Verfaillie}, title = {Combining tree decomposition and local consistency in Max-CSPs}, booktitle = {7th International CP-05 Workshop on Preferences and Soft Constraints}, pages = {15p.}, year = {2005}, address = {Sitges,Spain}, annote = {} } @InProceedings{Heras05, author = {S. de Givry and M. Zytnicki and F. Heras and J. Larrosa}, title = {Existential arc consistency: Getting closer to full arc consistency in weighted {CSP}s}, booktitle = IJCAI05P, pages = {84--89}, year = {2005}, address = IJCAI05L, annote = {} } @InProceedings{Givry04, author = {S. de Givry}, title = {Singleton consistency and dominance for weighted CSP}, booktitle = {Proc.\ of 6th International CP-2004 Workshop on Preferences and Soft Constraints}, pages = {15p.}, year = {2004}, address = {Toronto, Canada}, annote = {} } @InProceedings{Larrosa03a, author = {S. de Givry and J. Larrosa and P. Meseguer and T. Schiex}, title = {Solving Max-SAT as weighted CSP}, booktitle = CP03P, pages = {363-376}, year = {2003}, address = CP03L, annote = {} } @Article{Schiex99, author = {B. Cabon and S. de Givry and L. Lobjois and T. Schiex and J.P. Warners}, title = {{R}adio {L}ink {F}requency {A}ssignment}, journal = {Constraints}, year = {1999}, volume = {4}, number = {1}, pages = {79-89}, annote = {} } @InProceedings{Cabon98, author = {B. Cabon and S. de Givry and G. Verfaillie}, title = {Anytime {L}ower {B}ounds for {C}onstraint {O}ptimization {P}roblems}, booktitle = CP98P, pages = {117-131}, year = {1998}, OPTmonth = {October 26-30}, address = CP98L, annote = {} } @InProceedings{Givry97b, author = {S. de Givry and G. Verfaillie and T. Schiex}, title = {{B}ounding the {O}ptimum of {C}onstraint {O}ptimization {P}roblems}, booktitle = CP97P, year = 1997, address = CP97L, month = {October 29 - November 1}, pages = {405-419}, annote = {} } @InProceedings{Verfaillie97b, author = {G\'erard Verfaillie and Simon de Givry}, title = {Algorithmic problems and solutions in the Valued Constraint Satisfaction Problem framework}, booktitle = {Proc.\ of the Fifth European Congress on Fuzzy and Intelligent Technologies (EUFIT-97)}, year = 1997, address = {Aachen, Germany}, annote = {} } @inproceedings{Verfaillie97a, AUTHOR = {S. de Givry and G. Verfaillie}, TITLE = {Optimum {A}nytime {B}ounding for {C}onstraint {O}ptimization {P}roblems}, BOOKTITLE = {Proc.\ of the AAAI97 workshop on "Building Resource-Bounded Reasoning Systems"}, ADDRESS = AAAI97L, month = {July 27}, YEAR = 1997, ANNOTE = {anytime lower bound vcsp} } @inproceedings{Favier11b, author = {Favier, A and de Givry, S and Legarra, A and Schiex, T}, booktitle = JFPC11P, year = {2011}, address = JFPC11L, title = {D\'ecomposition par paire pour l'optimisation combinatoire dans les mod\`eles graphiques} } @inproceedings{Favier09b, author = {Favier, A. and de Givry, S. and J\'egou, P.}, title = {Comptage de solutions en exploitant la structure du graphe de contraintes}, booktitle = {Actes des Cinquièmes Journées Francophones de Programmation par Contraintes}, year = {2009}, address = {Orléans}, } @inproceedings{Sanchez09b, year = {2009}, author = {Sanchez, M and Allouche, D and de Givry, S and Schiex, T}, booktitle = {Actes des Cinquièmes Journées Francophones de Programmation par Contraintes}, editor = { Yves Deville }, address = {Orléans}, title = {Algorithme des Poupées Russes exploitant une décomposition arborescente}, } @InProceedings{Cooper08fr, author = {Cooper, M. and de Givry, S. and Sanchez, M. and Schiex, T. and Zytnicki, M.}, title = {Coh\'erence d'arc virtuelle pour les CSP pond\'er\'es}, booktitle = JFPC08P, OPTpages = {10p.}, year = {2008}, address = JFPC08L, annote = {} } @InProceedings{Givry06a, author = {S. de Givry and T. Schiex and G. Verfaillie}, title = {D\'ecomposition arborescente et coh\'erence locale souple dans les CSP pond\'er\'es}, booktitle = JFPC06P, pages = {10p.}, year = {2006}, address = JFPC06L, annote = {} } @InProceedings{Zytnicki05a, author = {M. Zytnicki and F. Heras and S. de Givry and J. Larrosa}, title = {Coh\'erence d'arc existentielle: un pas de plus vers la coh\'erence d'arc compl\`ete}, booktitle = JFPC05P, pages = {139-148}, year = {2005}, address = JFPC05L, annote = {} } @InProceedings{Givry99a, author = {Simon de Givry}, title = {Minorants de probl\`emes de minimisation de violation de contraintes~: recherche de bonnes relaxations \`a l'aide de m\'ethodes incompl\`etes}, booktitle = JNPC99P, year = 1999, address = JNPC99L, annote = {} } @PhdThesis{Givry98a, author = {{Simon de} Givry}, title = {Algorithmes d'optimisation sous contraintes \'etudi\'es dans un cadre temps r\'eel}, school = {{\'E}cole {N}ationale {S}up\'erieure de l'{A}\'eronautique et de l'{E}space}, year = {1998}, address = {Toulouse, France}, OPTmonth = {Juin}, annote = {} } @InProceedings{Givry97a, author = {Simon de Givry and G\'erard Verfaillie}, title = {{P}robl\`emes d'optimisation sous contraintes~: {E}ncadrement {\em anytime} de l'optimum}, booktitle = JNPC97P, year = 1997, address = JNPC97L, month = {21-22 avril}, pages = {33-39}, annote = {} } @Article{GivryJeannin04, author = {S. de Givry and L. Jeannin}, title = {A Unified Framework for Partial and Hybrid Search Methods in Constraint Programming}, journal = {Computer \& Operations Research}, year = {2006}, OPTmonth = {October}, volume = {33}, number = {10}, pages = {2805-2833}, annote = {} } @InProceedings{Jeannin03c, author = {L. Jeannin and S. de Givry}, title = {Network planning with constraint programming (short paper)}, booktitle = {Proc.\ of International Network Optimization Conference}, OPTpages = {6p.}, year = {2003}, address = {Evry/Paris, France}, month = {October 27-29}, annote = {} } @InProceedings{Givry03b, author = {S. de Givry and L. Jeannin}, title = {{ToOLS}: A Library for Partial and Hybrid Search Methods}, booktitle = CPAIOR03P, pages = {124-138}, year = {2003}, address = CPAIOR03L, annote = {} } @Booklet{Givry02b, title = {The {THALES} constraint programming framework for hard and soft real-time applications}, author = {S. de Givry and L. Jeannin and F. Josset and J. Mattioli and N. Museux and P. Sav\'eant}, howpublished = {The PLANET Newsletter}, address = {Issue 5 ISSN 1610-0212, pages 5-7}, month = {December}, year = {2002}, note = {http://planet.dfki.de/service/Resources/Rome/degivry.pdf (slides)}, annote = {} } @InProceedings{Givry02a, author = {S. de Givry and P. G\'erard and L. Jeannin and J. Mattioli and N. Museux and P. Sav\'eant}, title = {A constraint optimization framework for real-time applications}, booktitle = {Proc.\ of AIPS-2002 Workshop on On-line Planning and Scheduling}, OPTpages = {}, year = {2002}, address = {Toulouse, France}, annote = {} } @InProceedings{Mattioli01, author = {J. Mattioli and N. Museux and J. Jourdan and P. Sav\'eant and S. de Givry}, title = {A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture}, booktitle = CP01P, pages = {701-715}, year = {2001}, address = CP01L, annote = {} } @Booklet{Givry01e, title = {Proc.\ of {CP}-2001 Workshop on On-Line combinatorial problem solving and Constraint Programming ({OLCP}'01)}, author = {{S. de} Givry and J. Mattioli}, address = CP01L, year = {2001}, annote = {} } @InProceedings{Givry01d, author = {{S. de} Givry and Y. Hamadi and J. Mattioli and P. G\'erard and M. Lema\^{\i}tre and G. Verfaillie and A. Aggoun and I. Gouachi and T. Benoist and E. Bourreau and F. Laburthe and P. David and S. Loudni and S. Bourgault}, title = {Towards an on-line optimisation framework}, booktitle = {CP-2001 Workshop on On-Line combinatorial problem solving and ConstraintProgramming (OLCP'01)}, year = {2001}, month = {December 1}, address = CP01L, pages = {45-61}, annote = {} } @InProceedings{Givry01c, author = {S. de Givry and P. G\'erard and J. Jourdan and J. Mattioli and N. Museux and P. Sav\'eant}, title = {How does constraint technology meet industrial constraints?}, booktitle = {Proc.\ of ESA workshop on On-Board Autonomy}, pages = {189-200}, year = {2001}, address = {Noordwijk, The Netherlands}, annote = {} } @Booklet{Planet01, title = {On-line Scheduling Roadmap}, author = {S. de Givry and G. Verfaillie and D. Lesaint}, howpublished = {Chapter in the PLANET Roadmap on AI Planning and Scheduling}, pages = {161-207}, year = {2001}, note = {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/}, annote = {} } @TechReport{Givry99c, author = {Jean Jourdan and {Simon de} Givry and Pierre Sav\'eant}, title = {Designing limited search algorithms for time constrained combinatorial optimization problems}, institution = {Thales Research \& Development}, year = {1999}, annote = {} } @Booklet{Givry03a, title = {Mod\'elisation et r\'esolution en programmation par contraintes}, author = {S. de Givry and L. Jeannin}, howpublished = {Gestion des prises de vue r\'ealis\'ees par un satellite agile d'observation de la Terre. 3\`eme challenge ROADEF}, address = ROADEF03L, year = {2003}, pages = {4p.}, annote = {} } @InProceedings{Jeannin03b, author = {L. Jeannin and S. de Givry}, title = {Optimisation des \'evolutions d'un r\'eseau t\'el\'ecoms}, booktitle = JFPLC03P, pages = {183-186}, year = {2003}, address = JFPLC03L, annote = {} } @InProceedings{Jeannin03a, author = {L. Jeannin and S. de Givry}, title = {Aide \`a la conception de r\'eseaux t\'el\'ecoms}, booktitle = ROADEF03P, pages = {369-370}, year = {2003}, address = ROADEF03L, annote = {} } @Unpublished{Givry01a, author = {S. de Givry and Y. Hamadi}, title = {Proc\'ed\'e d'aide \`a la conception d'algorithmes d'optimisation prenant en compte une limite de temps}, note = {Brevet THALES num\'ero 0115193}, year = {2001}, annote = {} } @InProceedings{Givry99b, author = {{Simon de} Givry and Pierre Sav\'eant and Jean Jourdan}, title = {Optimisation combinatoire en temps limit\'e~: Depth First Branch and Bound adaptatif}, booktitle = JFPLC99P, year = 1999, address = JFPLC99L, pages = {161-178}, annote = {} } @InProceedings{Adelantado95, author = {Martin Adelantado and Simon de Givry}, title = {{R}eactive/{A}nytime {A}gents: {T}owards {I}ntelligent {A}gents with {R}eal-{T}ime {P}erformance}, booktitle = {IJCAI'95 Workshop on Anytime Algorithms and Deliberation Scheduling}, year = {1995}, address = {Montreal, Canada}, month = {August 21-25}, annote = {} } @InProceedings{Boniol95, author = {Martin Adelantado and Fr\'ed\'eric Boniol and Simon de Givry}, title = {SATURNE: a Reactive - Anytime Programming Model for Intelligent Embedded Real-Time Systems}, booktitle = {3rd IEEE Workshop on Parallel and Distributed Real-Time Systems}, year = {1995}, month = {April 24-26}, address = {Santa Barbara, California}, annote = {} } @InProceedings{Burgueno96, author = {Martin Adelantado and Fr\'ed\'eric Boniol and Augusto Burgueno and Simon de Givry and Florence Pagani}, title = {Un Mod\`ele de Syst\`emes Hybrides pour le Contr\^ole de Processus Temps-R\'eel Interrogeables}, booktitle = {Journ\'ees Formalisation des Activit\'es Concurrentes}, year = {1996}, address = {Universit\'e Paul Sabatier-IRIT, Toulouse, France}, month = {7-8 f\'evrier}, annote = {} }