@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{IJCAI21P = "Proc.\ of IJCAI-21"} @STRING{IJCAI21L = "Montreal, Canada"} @STRING{UAI17P = "Proc.\ of UAI-17"} @STRING{UAI17L = "Sydney, Australia"} @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{AAAI12P = "Proc.\ of AAAI-12"} @STRING{AAAI12L = "Toronto, Canada"} @STRING{AAAI26P = "Proc.\ of AAAI-26"} @STRING{AAAI26L = "Singapore"} @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{ICTAI14P = "Proc.\ of ICTAI-14"} @STRING{ICTAI14L = "Limassol, Cyprus"} @STRING{ICTAI19P = "Proc.\ of ICTAI-19"} @STRING{ICTAI19L = "Portland, OR, USA"} @STRING{ICTAI25P = "Proc.\ of ICTAI-25"} @STRING{ICTAI25L = "Athens, Greece"} @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{CP11P = "Proc.\ of CP-11"} @STRING{CP11L = "Perugia, Italy"} @STRING{CP12P = "Proc.\ of CP-12"} @STRING{CP12L = "Quebec City, Canada"} @STRING{CP13P = "Proc.\ of CP-13"} @STRING{CP13L = "Uppsala, Sweden"} @STRING{CP14P = "Proc.\ of CP-14"} @STRING{CP14L = "Lyon, France"} @STRING{CP15P = "Proc.\ of CP-15"} @STRING{CP15L = "Cork, Ireland"} @STRING{CP17P = "Proc.\ of CP-17"} @STRING{CP17L = "Melbourne, Australia"} @STRING{CP19P = "Proc.\ of CP-19"} @STRING{CP19L = "Stamford, CT, USA"} @STRING{CP20P = "Proc.\ of CP-20"} @STRING{CP20L = "Louvain-la-neuve, Belgium"} @STRING{CP21P = "Proc.\ of CP-21"} @STRING{CP21L = "Montpellier, France"} @STRING{CP22P = "Proc.\ of CP-22"} @STRING{CP22L = "Haifa, Israel"} @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{JFPC12P = "Proc.\ of JFPC-12"} @STRING{JFPC12L = "Toulouse, France"} @STRING{JFPC14P = "Proc.\ of JFPC-14"} @STRING{JFPC14L = "Angers, France"} @STRING{JFPC18P = "Proc.\ of JFPC-18"} @STRING{JFPC18L = "Amiens, France"} @STRING{JFPC19P = "Proc.\ of JFPC-19"} @STRING{JFPC19L = "Albi, France"} @STRING{JFPC21P = "Proc.\ of JFPC-21"} @STRING{JFPC21L = "Nice, 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{CPAIOR20P = "Proc.\ of CP-AI-OR'2020"} @STRING{CPAIOR20L = "Vienna, Austria"} @STRING{CPAIOR22P = "Proc.\ of CP-AI-OR'2022"} @STRING{CPAIOR22L = "Los Angeles, CA"} @STRING{CPAIOR23P = "Proc.\ of CP-AI-OR'2023"} @STRING{CPAIOR23L = "Nice, France"} @STRING{CPAIOR24P = "Proc.\ of CP-AI-OR'2024"} @STRING{CPAIOR24L = "Uppsala, Sweden"} @STRING{ROADEF03P = "Proc.\ of ROADEF-03"} @STRING{ROADEF03L = "Avignon, France"} @STRING{ROADEF14P = "Proc.\ of ROADEF-14"} @STRING{ROADEF14L = "Bordeaux, France"} @STRING{ROADEF17P = "Proc.\ of ROADEF-17"} @STRING{ROADEF17L = "Metz, France"} @STRING{ROADEF18P = "Proc.\ of ROADEF-18"} @STRING{ROADEF18L = "Lorient, France"} @STRING{ROADEF23P = "Proc.\ of ROADEF-23"} @STRING{ROADEF23L = "Rennes, France"} @article{Pomies22a, author = {Pomi\`es, Lise and Brouard, C\'eline and Durufl\'e, Harold and Maign\'e, \'Elise and Carr\'e, Cl\'ement and Gody, Louise and Tr\"{o}sser, Fulya and Katsirelos, George and Mangin, Brigitte and Langlade, Nicolas B and de Givry, Simon}, title = {{Gene regulatory network inference methodology for genomic and transcriptomic data acquired in genetically related heterozygote individuals}}, journal = {Bioinformatics}, year = {2022}, volume = {38}, number = {17}, pages = {4127--4134}, month = {07}, OPTdoi = {10.1093/bioinformatics/btac445} } @InProceedings{Trosser22a, author = {Tr\"{o}sser, Fulya and de Givry, Simon and Katsirelos, George}, title = {{Structured Set Variable Domains in Bayesian Network Structure Learning}}, booktitle = CP22P, pages = {37:1--37:9}, OPTseries = {Leibniz International Proceedings in Informatics (LIPIcs)}, OPTISBN = {978-3-95977-240-2}, OPTISSN = {1868-8969}, year = {2022}, volume = {235}, OPTeditor = {Solnon, Christine}, OPTpublisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = CP22L, OPTdoi = {10.4230/LIPIcs.CP.2022.37} } @inproceedings{Trosser21a, title = {Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming}, author = {Tr\"{o}sser, Fulya and {de Givry}, Simon and Katsirelos, George}, booktitle = IJCAI21P, address = IJCAI21L, year = {2021} } @article{Langlade20b, author = {{Gody, Louise} and {Durufl\'e, Harold} and {Blanchet, Nicolas} and {Carr\'e, Cl\'ement} and {Legrand, Ludovic} and {Mayjonade, Baptiste} and {Mu\~nos, St\'ephane} and {Pomi\`es, Lise} and {de Givry, Simon} and {Langlade, Nicolas B.} and {Mangin, Brigitte}}, title = {Transcriptomic data of leaves from eight sunflower lines and their sixteen hybrids under water deficit}, journal = {OCL}, year = 2020, volume = 27, pages = "48", } @article{Langlade20a, author = {{Penouilh-Suzette, Charlotte} and {Pomi\`es, Lise} and {Durufl\'e, Harold} and {Blanchet, Nicolas} and {Bonnafous, Fanny} and {Dinis, Romain} and {Brouard, C\'eline} and {Gody, Louise} and {Grassa, Christopher} and {Heudelot, Xavier} and {Laporte, Marion} and {Larroque, Marion} and {Marage, Gwenola} and {Mayjonade, Baptiste} and {Mangin, Brigitte} and {de Givry, Simon} and {Langlade, Nicolas B.}}, title = {RNA expression dataset of 384 sunflower hybrids in field condition}, journal = {OCL}, year = 2020, volume = 27, pages = "36" } @InProceedings{Pomies18b, author = {Lise Pomi\`es and Louise Gody and Charlottte Penouilh-Suzette and Nicolas Langlade and Brigitte Mangin and Simon de Givry}, title = {Building artificial genetical genomic datasets to optimize the choice of gene regulatory network inference methods}, booktitle = {Poster at ECCB}, year = {2018}, address = {Athens, Greece} } @InProceedings{Pomies18a, author = {Lise Pomi\`es and Louise Gody and Charlottte Penouilh-Suzette and Nicolas Langlade and Brigitte Mangin and Simon de Givry}, title = {Building artificial genetical genomic datasets to optimize the choice of gene regulatory network inference methods}, booktitle = {Proc. of JOBIM}, year = {2018}, pages = {338--341}, note = { https://miat.inrae.fr/degivry/Pomies18aa.pdf (poster)}, address = {Marseilles, France} } @InBook{Vignes14a, author = {Allouche, David AND Cierco-Ayrolles, Christine AND de Givry, Simon AND Guillermin, G AND Mangin, Brigitte AND Schiex, Thomas AND Vandel, Jimmy AND Vignes, Matthieu}, ALTeditor = {A. de la Fuente}, title = {Gene Network Inference}, chapter = {A Panel of Learning Methods for the Reconstruction of Gene Regulatory Networks in a Systems Genetics Contex}, publisher = {Springer}, year = {2014} } @inproceedings{Vandel12c, year = {2012}, author = {Vandel, J and Mangin, B and de Givry, S}, booktitle = {Proc.\ of PGM-12}, address = {Granada, Spain}, OPTpages = {}, title = {{New Local Move Operators for Bayesian Network Structure Learning}} } @inproceedings{Vandel12b, year = {2012}, author = {Vandel, J and Mangin, B and de Givry, S}, booktitle = {ECAI-12 workhop on algorithmic issues for inference in graphical models}, address = {Montpellier, France}, title = {{New Local Move Operators for Learning the Structure of Bayesian Networks}} } @article{Vignes11a, author = {Vignes, , Matthieu AND Vandel, , Jimmy AND Allouche, , David AND Ramadan-Alban, , Nidal AND Cierco-Ayrolles, , Christine AND Schiex, , Thomas AND Mangin, , Brigitte AND de Givry, , Simon}, journal = {PLoS ONE}, title = {Gene Regulatory Network Reconstruction Using Bayesian Networks, the Dantzig Selector, the Lasso and Their Meta-Analysis}, year = {2011}, volume = {6}, OPTpages = {e29165}, number = {12}, doi = {10.1371/journal.pone.0029165} } @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}} } @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{Ural18a, author = {Simon de Givry and George Katsirelos and Fulya Ural}, booktitle = {Journ{\'e}es Francophones sur les R{\'e}seaux Bay{\'e}siens et les Mod{\`e}les Graphiques Probabilistes}, year = {2018}, OPTpages = {p.114}, address = {Toulouse, France}, title = {Contrainte Pondérée d'Acyclicité pour l'Apprentissage de Réseaux Bayésiens}, annote = {} } @Article{Vandel12a, author = {Jimmy Vandel and Brigitte Mangin and Matthieu Vignes and Damien Leroux and Olivier Loudet and Marie-Laure Martin-Magniette and Simon de Givry}, title = {Inf\'erence de r\'eseaux de r\'egulation de g\`enes au travers de scores \'etendus dans les r\'eseaux Bay\'esiens}, journal = {Revue d'Intelligence Artificielle}, year = {2012}, volume = {26}, number = {6}, pages = {679--708}, 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{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 = {} } @unpublished{Maqrot19a, title={Learning parameters of the Wedelin heuristic with application to crew and bus driver scheduling}, author={Maqrot, Sara and De Givry, Simon and Tchamitchian, Marc and Quesnel, Gauthier}, year={2021}, note={https://hal.inrae.fr/hal-03170397} } @InProceedings{Maqrot18b, author = {Sara Maqrot and Simon de Givry and Gauthier Quesnel and Marc Tchamitchian}, title = {{Improving Wedelin's Heuristic with Sensitivity Analysis for Set Partitioning}}, booktitle = {23rd International Symposium on Mathematical Programming (ISMP-18)}, year = {2018}, address = {Bordeaux, France}, annote = {} } @inproceedings{Maqrot18a, author = {Maqrot, Sara and de Givry, Simon and Tchamitchian, Marc and Quesnel, Gauthier}, booktitle = ROADEF18P, year = {2018}, pages = {2p}, address = ROADEF18L, title = {{Improving Wedelin's Heuristic with Sensitivity Analysis}} } @InProceedings{Maqrot17b, author={Maqrot, Sara and de Givry, Simon and Quesnel, Gauthier and Tchamitchian, Marc}, title = {{A Mixed Integer Programming Reformulation of the Mixed Fruit-Vegetable Crop Allocation Problem}}, booktitle = {30th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems (IEA/AIE)}, year = {2017}, pages = {12 pages}, month = {June}, address = {Arras, France} } @inproceedings{Maqrot17a, author = {Maqrot, Sara and de Givry, Simon and Quesnel, Gauthier and Tchamitchian, Marc}, booktitle = ROADEF17P, year = {2017}, pages = {2p}, address = ROADEF17L, title = {{Mixed Fruit-Vegetable Crop Allocation Problem using MIP}} } @InProceedings{Maqrot16a, author={Maqrot, Sara and de Givry, Simon and Quesnel, Gauthier and Tchamitchian, Marc}, title = {Designing mixed fruit-vegetable cropping systems by integer quadratic programming}, booktitle = {8th International Congress on Environmental Modelling and Software (iEMSs)}, year = {2016}, pages = {9 pages}, month = {July}, address = {Toulouse, France} } @InProceedings{Maqrot16b, author={Maqrot, Sara and de Givry, Simon and Quesnel, Gauthier and Tchamitchian, Marc}, title = {Designing mixed fruit-vegetable cropping systems by integer quadratic programming}, booktitle = {ISHS International Symposium on models for plant growth, environment control and farming management in protected cultivation (HORTIMODEL)}, year = {2016}, pages = {8 pages}, month = {September}, address = {Avignon, France} } @article{Akplogan13, author = {Akplogan,Mahuna and de Givry,Simon and M\'etivier,Jean-Philippe and Quesnel,Gauthier and Joannon,Alexandre and Garcia,Fr\'ed\'erick}, title = {Solving the Crop Allocation Problem using Hard and Soft Constraints}, journal = {RAIRO - Operations Research}, volume = {47}, issue = {02}, year = {2013}, pages = {151--172} } @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} } @article{Maqrot21a, author = {Sara Maqrot and Simon de Givry and Marc Tchamitchian and Gauthier Quesnel}, title = {Conception de syst\`emes de~verger-mara{\^\i}cher \`a l{\textquoteright}aide de~la~programmation math\'ematique}, journal = {Revue Ouverte d'Intelligence Artificielle}, pages = {157--188}, publisher = {Association pour la diffusion de la recherche francophone en intelligence artificielle}, volume = {2}, number = {1}, year = {2021}, doi = {10.5802/roia.13} } @inproceedings{Akplogan12a, author = {Akplogan, M and Dury, J and de Givry, S and Quesnel, G and Joannon, A and Garcia, F}, booktitle = JFPC12P, year = {2012}, pages = {5-14}, address = JFPC12L, title = {R\'esolution du probl\`eme d'allocation de culture par satisfaction de contraintes pond\'er\'ees} } @article{Ruffini21a, author = {Manon Ruffini and Jelena Vucinic and Simon de Givry and George Katsirelos and Sophie Barbe and Thomas Schiex}, title = {Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods}, journal = {Algorithms}, volume = {14}, number = {6}, pages = {168}, year = {2021} } @article{Beuvin21a, title={Iterated local search with partition crossover for computational protein design}, author={Beuvin, Fran{\c{c}}ois and de Givry, Simon and Schiex, Thomas and Verel, S{\'e}bastien and Simoncini, David}, journal={Proteins: Structure, Function, and Bioinformatics}, year={2021}, OPTpages={8pp}, publisher={John Wiley \& Sons, Inc. Hoboken, USA} } @inbook{Givry19a, chapter={Cost Function Networks to Solve Large Computational Protein Design Problems}, author={Allouche, David and Barbe, Sophie and de Givry, Simon and Katsirelos, George and Lebbah, Yahia and Loudni, Samir and Ouali, Abdelkader and Schiex, Thomas and Simoncini, David and Zytnicki, Matthias}, ALTeditor = {Masmoudi, Malek and Jarboui, Bassem and Siarry, Patrick}, title = {Operations Research and Simulation in Healthcare}, publisher = {Springer}, ALTnumber = {ISBN: 978-3-030-45223-0}, year={2021} } @article{Viricel18a, title={Cost Function Network-based Design of Protein-Protein Interactions: predicting changes in binding affinity}, author={Cl\'ement Viricel and Simon de Givry and Thomas Schiex and Sophie Barbe}, journal={Bioinformatics}, year={2018}, pages={2581--2589}, volume={34}, number={15}, annote={https://doi.org/10.1093/bioinformatics/bty092} } @article{Simoncini15b, title={Guaranteed Discrete Energy Optimization on Large Protein Design Problems}, author={D. Simoncini and D. Allouche and S. de Givry and C. Delmas and S. Barbe and T. Schiex}, journal={Journal of Chemical Theory and Computation}, volume={11(12)}, pages={5980--5989}, year={2015} } @InProceedings{Simoncini15a, author={Allouche, David and Viricel, Cl{\'e}ment and Traor{\'e}, Seydou and Simoncini, David and de Givry, Simon and Katsirelos, George and Andr{\'e}, Isabelle and Schiex, Thomas and Barbe, Sophie}, title = {Computational Enzyme Design through Deterministic Optimization and Counting}, booktitle = {3DSIG: Structural Bioinformatics and Computational Biophysics}, year = {2015}, pages = {26}, month = {July}, address = {Dublin, Ireland} } %International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences @InProceedings{Viricel15a, author = {Cl{\'e}ment Viricel and David Simoncini and David Allouche and Simon de Givry and Sophie Barbe and Thomas Schiex}, title = {Approximate Counting with Deterministic Guarantees for Affinity Computation}, booktitle = {Proc.\ of MCO}, year = {2015}, pages = {165--}, month = {May}, address = {Metz, France} } @inproceedings{Chateau14, year = {2014}, author = {Briot, N and Chateau, A and Coletta, R and de Givry, S and Leleux, P and Schiex, T}, booktitle = {CP-14 workshop on Constraint-Based Methods for Bioinformatics}, address = CP14L, title = {An Integer Linear Programming Approach for Genome Scaffolding} } @inproceedings{Givry13b, year = {2013}, author = {Elsen, JM and de Givry, S and Katsirelos, G and Shumbusho, F}, booktitle = {CP-13 workshop on Constraint Based Methods for Bioinformatics}, address = CP13L, pages = {37--46}, title = {Optimizing the reference population in a genomic selection design} } @article{CPD2013, title={A New Framework for Computational Protein Design through Cost Function Network Optimization}, author={Traor{\'e}, Seydou and Allouche, David and Andr{\'e}, Isabelle and de Givry, Simon and Katsirelos, George and Schiex, Thomas and Barbe, Sophie}, journal={Bioinformatics}, year={2013}, pages={2129--2136}, volume={29}, number={17}, annote={http://bioinformatics.oxfordjournals.org/content/29/17/2129.abstract?keytype=ref\&ijkey=6s5WwvLNn88x2ZB} } @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{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}, volume = {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 = { https://miat.inrae.fr/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{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{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{Sewa26a, author = {Guidio Sewa and David Allouche and Simon de Givry and George Katsirelos and Pierre Montalbano and Thomas Schiex}, title = {Assignment Problems in Cost Function Networks}, booktitle = AAAI26P, OPTpages = {8}, address = AAAI26L, year = {2026} } @inproceedings{Montalbano25a, author = {Pierre Montalbano and Simon de Givry and George Katsirelos}, title = {Virtual Arc Consistency for Linear Constraints in Cost Function Networks}, booktitle = ICTAI25P, OPTpages = {9}, address = ICTAI25L, year = {2025} } @inproceedings{Buchet24a, author = {Samuel Buchet and David Allouche and Simon de Givry and Thomas Schiex}, booktitle = CPAIOR24P, year = {2024}, pages = {136--152}, address = CPAIOR24L, title = {Bi-Objective Discrete Graphical Model Optimization} } @inproceedings{Montalbano23a, author = {Pierre Montalbano and David Allouche and Simon de Givry and George Katsirelos and Tom{\'a}{\v{s}} Werner}, booktitle = CPAIOR23P, year = {2023}, OPTpages = {}, address = CPAIOR23L, title = {Virtual Pairwise Consistency in Cost Function Networks} } @article{Dlask23a, title={{Super-Reparametrizations of Weighted CSPs: Properties and Optimization Perspective}}, author={Dlask, Tom{\'a}{\v{s}} and Werner, Tom{\'a}{\v{s}} and de Givry, Simon}, journal = "Constraints", volume = "28", pages = "277--319", year={2023} } @inproceedings{Givry23a, author = {Samuel Buchet and Marianne Defresne and Simon de Givry and Manon Ruffini and Thomas Schiex}, booktitle = ROADEF23P, year = {2023}, pages = {2p}, address = ROADEF23L, title = {{Bilevel optimization and its bicriteria approximation in computational protein design}}, note = { https://miat.inrae.fr/degivry/Givry23b.pdf} } @inproceedings{Givry23c, author = {ToulBar2 Team}, booktitle = ROADEF23P, year = {2023}, pages = {2p}, address = ROADEF23L, title = {{toulbar2: an exact cost function network solver}}, note = { https://miat.inrae.fr/degivry/Givry23d.pdf} } @InProceedings{Beldjilali22a, author = {Beldjilali, Abdelkader and Montalbano, Pierre and Allouche, David and Katsirelos, George and de Givry, Simon}, title = {{Parallel Hybrid Best-First Search}}, booktitle = CP22P, pages = {7:1--7:10}, OPTseries = {Leibniz International Proceedings in Informatics (LIPIcs)}, OPTISBN = {978-3-95977-240-2}, POTISSN = {1868-8969}, year = {2022}, volume = {235}, OPTeditor = {Solnon, Christine}, OPTpublisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = CP22L, note = {Slides of the presentation https://miat.inrae.fr/degivry/Beldjilali22Slides.pdf and supplementary materials https://miat.inrae.fr/degivry/Beldjilali22Supp.pdf}, OPTdoi = {10.4230/LIPIcs.CP.2022.7} } @inproceedings{Montalbano22a, author = {Pierre Montalbano and Simon de Givry and George Katsirelos}, booktitle = CPAIOR22P, year = {2022}, OPTpages = {}, address = CPAIOR22L, title = {Multiple-choice knapsack constraint in graphical models} } @inproceedings{Dlask21a, title={Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations}, author={Dlask, Tom{\'a}{\v{s}} and Werner, Tom{\'a}{\v{s}} and de Givry, Simon}, booktitle = CP21P, OPTpages = {}, address = CP21L, year={2021} } @inproceedings{Schiex20b, author = {C\'eline Brouard and Simon de Givry and Thomas Schiex}, booktitle = CP20P, year = {2020}, pages = {881--827}, address = CP20L, title = {Pushing Data in CP Models Using Graphical Model Learning and Solving} } @inproceedings{Trosser20a, author = {Fulya Tr\"{o}sser and Simon de Givry and George Katsirelos}, booktitle = CPAIOR20P, year = {2020}, pages = {475--491}, address = CPAIOR20L, title = {Relaxation-Aware Heuristics for Exact Optimization in Graphical Models} } @inproceedings{Simonis2020a, year = {2020}, author = {Helmut Simonis and Simon de Givry and Thomas Schiex and Andreas Schutt}, booktitle = {Proc. of the 19th workshop on Constraint Modelling and Reformulation (ModRef-20)}, pages = {17}, address = {Louvain-la-neuve, Belgium (virtual conference)}, title = {Modelling the Conference Paper Assignment Problem} } @Inbook{Cooper2020, author="Cooper, Martin C. and de Givry, Simon and Schiex, Thomas", ALTeditor="Marquis, Pierre and Papini, Odile and Prade, Henri", title="Valued Constraint Satisfaction Problems", bookTitle="A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms", year="2020", publisher="Springer International Publishing", pages="185--207" } @inproceedings{Schiex20a, author = {Martin C. Cooper and Simon de Givry and Thomas Schiex}, title = {Graphical Models: Queries, Complexity, Algorithms (Tutorial)}, booktitle = {37th International Symposium on Theoretical Aspects of Computer Science ({STACS}-20)}, address = {Montpellier, France}, series = {LIPIcs}, volume = {154}, pages = {4:1--4:22}, year = {2020} } @article{Ouali19a, title = "Variable Neighborhood Search for Graphical Model Energy Minimization", journal = "Artificial Intelligence", volume = "278", number = "103194", pages = "22p.", year = "2020", author = "Abdelkader Ouali and David Allouche and Simon de Givry and Samir Loudni and Yahia Lebbah and Lakhdar Loukil and Patrice Boizumault" } @article{Peyrard19a, author = {Nathalie Peyrard and Marie-Josée Cros and Simon de Givry and Alain Franc and St{\'{e}}phane Robin and R{\'{e}}gis Sabbadin and Thomas Schiex and Matthieu Vignes}, journal = "Australian \& New Zealand Journal of Statistics", volume = "61", number = "2", pages = "89--133", title = {Exact or approximate inference in graphical models: why the choice is dictated by the treewidth, and how variable elimination can be exploited}, year = {2019} } @inproceedings{Ruffini19a, author = {M. Ruffini and J. Vucinic and S. de Givry and G. Katsirelos and S. Barbe and T. Schiex}, booktitle = ICTAI19P, year = {2019}, pages = {18--25}, address = ICTAI19L, title = {Guaranteed Diversity \& Quality for the Weighted CSP} } @InProceedings{Givry18a, author = {David Allouche and S de Givry and George Katsirelos and Abdelkader Ouali and Thomas Schiex and Matthias Zytnicki}, title = {Recent algorithmic advances for combinatorial optimization in graphical models}, booktitle = {23rd International Symposium on Mathematical Programming (ISMP-18)}, year = {2018}, address = {Bordeaux, France}, note = { https://miat.inrae.fr/degivry/GivryISMP2018.pdf}, annote = {} } @inproceedings{Katsirelos17a, year = {2017}, author = {de Givry, S and Katsirelos, G}, booktitle = CP17P, pages = {97--113}, address = CP17L, title = {{Clique Cuts in Weighted Constraint Satisfaction}} } @inproceedings{Ouali17, year = {2017}, author = {Abdelkader Ouali and David Allouche and Simon de Givry and Samir Loudni and Yahia Lebbah and Francisco Eckhardt and Lakhdar Loukil}, booktitle = UAI17P, pages = {550--559}, address = UAI17L, title = {{Iterative Decomposition Guided Variable Neighborhood Search for Graphical Model Energy Minimization}} } @Article{Hiep16a, author = {Hiep Nguyen and Christian Bessiere and Simon de Givry and Thomas Schiex}, title = {{Triangle-based Consistencies for Cost Function Networks}}, journal = {Constraints}, year = {2017}, volume = {22}, number = {2}, pages = {230--264} } @article{Schiex16a, title = "Tractability-preserving transformations of global cost functions", journal = "Artificial Intelligence", volume = "238", number = "", pages = "166--189", year = "2016", author = "David Allouche and Christian Bessi{\`e}re and Patrice Boizumault and Simon de Givry and Patricia Gutierrez and Jimmy H.M. Lee and Ka Lun Leung and Samir Loudni and Jean-Philippe M{\'e}tivier and Thomas Schiex and Yi Wu" } @Article{Hurley16b, author = {Hurley, B and O'Sullivan, B and Allouche, D and Katsirelos, G and Schiex, T and Zytnicki, M and de Givry, S}, title = {{Multi-Language Evaluation of Exact Solvers in Graphical Model Discrete Optimization}}, journal = {Constraints}, year = {2016}, volume = {21}, number = {3}, pages = {413--434}, OPTdoi = {10.1007/s10601-016-9245-y}, note = {Presentation at CPAIOR'16, Banff, Canada, https://miat.inrae.fr/degivry/cpaior16sdg.pdf} } @inproceedings{Hurley16a, year = {2016}, author = {Hurley, B and O'Sullivan, B and Allouche, D and Katsirelos, G and Schiex, T and Zytnicki, M and de Givry, S}, booktitle = "Proc.\ of CP-AI-OR'2016", pages = {1 page}, address = "Banff, Canada", title = {{Multi-Language Evaluation of Exact Solvers in Graphical Model Discrete Optimization (Summary)}} } @inproceedings{Katsirelos15a, year = {2015}, author = {Allouche, D and de Givry, S and Katsirelos, G and Schiex, T and Zytnicki, M}, booktitle = CP15P, pages = {12--28}, address = CP15L, title = {{Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP}} } @inproceedings{Nguyen14, author = {Hiep Nguyen and Simon de Givry and Thomas Schiex and Christian Bessiere}, title = {Maintaining Virtual Arc Consistency Dynamically during Search}, booktitle = ICTAI14P, pages = {8--15}, address = ICTAI14L, year = {2014} } @inproceedings{Lee14a, year = {2014}, author = {de Givry, S and Lee, J.H.M. and Leung, K.L. and Shum, Y.W.}, booktitle = CP14P, pages = {797--812}, address = CP14L, title = {{Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions}} } @inproceedings{Givry14a, author = {de Givry, S and Hurley, B and Allouche, D and Katsirelos, G and O'Sullivan, B and Schiex, T}, booktitle = ROADEF14P, year = {2014}, pages = {1p}, address = ROADEF14L, title = {An Experimental Evaluation of CP/AI/OR Solvers for Optimization in Graphical Models} } @Article{Schiex14a, author = {Allouche, David and Davies, Jessica and de Givry, Simon and Katsirelos, George and Schiex, Thomas and Traor{\'e}, Seydou and Andr{\'e}, Isabelle and Barbe, Sophie and Prestwich, Steve and O'Sullivan, Barry}, title = {Computational Protein Design as an Optimization Problem}, journal = {Artificial Intelligence}, year = {2014}, volume = {212}, pages = {59--79} } @Unpublished{Hurley14a, author = {Hurley, B and de Givry, S and Schiex, T and Allouche, D and Katsirelos, G}, title = {UAI Inference Competition 2014 MPE submissions: Proteus and Robin}, note = {Invited talk at UAI 2014}, address = {Quebec City, Canada}, year = {2014} } @inproceedings{Givry13a, year = {2013}, author = {de Givry, S and Prestwich, S and O'Sullivan, B}, booktitle = CP13P, pages = {263--272}, address = CP13L, title = {{Dead-End Elimination for Weighted CSP}} } @Proceedings{Givry13c, editor = {Fran{\c{c}}ois Fages and Simon de Givry and Christine Solnon}, title = {Preface}, journal = {{RAIRO} - Operations Research}, volume = {47:2}, OPTnumber = {2}, pages = {89--90}, year = {2013} } @TechReport{Givry13d, author = {Allouche, D and de Givry, S and Schiex, T}, title = {Max-SAT Evaluation 2013: ToulBar2 to solve Weighted Partial Max-SAT}, institution = {INRA}, pages = {3p.}, year = {2013} } @TechReport{Kotthoff13a, author = {Simon de Givry and Lars Kotthoff and Helmut Simonis and Barry O'Sullivan}, title = {Prototype of incentive policy mechanism}, institution = {University College Cork}, year = {2013}, pages = {25 p.}, type = {FP7-ePolicy deliverable WP5.2} } @inproceedings{Allouche12a, year = {2012}, author = {Allouche, D and Traor\'e, S and Andr\'e, I and de Givry, S and Katsirelos, G and Barbe, S and Schiex, T}, booktitle = CP12P, OPTpages = {}, address = CP12L, title = {Computational Protein Design as a Cost Function Network Optimization Problem} } @Unpublished{Fontaine12a, author = {Allouche, D and Favier, A and de Givry, S and Schiex, T and Zytnicki, M and Fontaine, M and M\'etivier, JP and Sanchez, M and Leung, KL}, title = {{Combining exact WCSP techniques and VNS search for solving MPE}}, note = {Invited talk at UAI 2012}, address = {Los Angeles, USA}, year = {2012} } @inproceedings{Ficolofo2012, year = {2012}, author = {Allouche, D and Bessiere, C and Boizumault, P and de Givry, S and Gutierrez, P and Loudni, S and M\'etivier, JP and Schiex, T}, booktitle = AAAI12P, OPTpages = {}, address = AAAI12L, title = {Decomposing Global Cost Functions}, note = { https://miat.inrae.fr/degivry/Ficolofo2012poster.pdf (poster)} } @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\'etivier, 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}, note = {Video demonstration at https://miat.inrae.fr/degivry/Favier11.mov} } @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}, volume = {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 = { https://miat.inrae.fr/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{Heras08a, author = {Federico Heras and Javier Larrosa and Simon de Givry and Thomas Schiex}, title = {2006 and 2007 Max-SAT Evaluations: Contributed Instances}, journal = {{JSAT}}, volume = {4}, number = {2-4}, pages = {239--250}, 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 = { https://miat.inrae.fr/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{Montalbano21a, author = {Pierre Montalbano and Simon de Givry and George Katsirelos}, booktitle = JFPC21P, year = {2021}, pages = {1--11}, address = JFPC21L, title = {Contrainte de sac-à-dos à choix multiples dans les réseaux de fonctions de coûts} } @inproceedings{Trosser19a, author = {Fulya Tr\"{o}sser and Simon de Givry and George Katsirelos}, booktitle = JFPC19P, year = {2019}, pages = {77--86}, address = JFPC19L, title = {Heuristiques exploitant la relaxation linéaire pour l'optimisation dans les réseaux de fonction de coût} } @inproceedings{Ruffini19b, author = {M. Ruffini and J. Vucinic and S. de Givry and G. Katsirelos and S. Barbe and T. Schiex}, booktitle = JFPC19P, year = {2019}, pages = {143--152}, address = JFPC19L, title = {Qualité et diversité garanties dans les réseaux de fonctions de coût} } @inproceedings{Ouali18a, author = {Abdelkader Ouali and David Allouche and Simon de Givry and Samir Loudni and Yahia Lebbah and Francisco Eckhardt and Lakhdar Loukil}, booktitle = JFPC18P, year = {2018}, pages = {123--124}, address = JFPC18L, title = {VNS itératif guidé par la décomposition arborescente pour la minimisation d'énergie dans les modèles graphiques} } @inproceedings{Allouche18a, author = {Abdelkader Ouali and David Allouche and Simon de Givry and Samir Loudni and Yahia Lebbah and Francisco Eckhardt and Lakhdar Loukil}, booktitle = {Journ{\'e}es Francophones sur les R{\'e}seaux Bay{\'e}siens et les Mod{\`e}les Graphiques Probabilistes}, year = {2018}, pages = {107--113}, address = {Toulouse, France}, title = {Recherche complète à voisinages variables guidée par la décomposition arborescente pour la minimisation d'énergie dans les modèles graphiques} } @inproceedings{Givry16a, author = {Hurley, B and O'Sullivan, B and Allouche, D and Katsirelos, G and Schiex, T and Matthias Zytnicki and de Givry, S}, booktitle = {Journ{\'e}es Francophones sur les R{\'e}seaux Bay{\'e}siens et les Mod{\`e}les Graphiques Probabilistes}, year = {2016}, pages = {19 pages}, address = {Clermont-Ferrand, France}, title = {Comparaison de logiciels d'optimisation discr{\`e}te sur une collection multi-langage de mod{\`e}les graphiques} } @inproceedings{Givry14b, author = {Allouche, D and de Givry, S and Hurley, B and Katsirelos, G and O'Sullivan, B and Schiex, T}, booktitle = JFPC14P, year = {2014}, pages = {301--310}, address = JFPC14L, note = { https://miat.inrae.fr/degivry/Givry14bpres.pdf (slides in French)}, title = {Une comparaison de logiciels d'optimisation sur une large collection de mod\`eles graphiques} } @inbook{Cooper14a, author = {M. Cooper and S. de Givry and T. Schiex}, ALTeditor = {P. Marquis and O. Papini and H. Prade}, title = {Panorama de l'Intelligence Artificielle}, chapter = {Réseaux de contraintes valués}, publisher = {Cépaduès}, year = {2014}, volume = {II: Algorithmes pour l'intelligence artificielle}, ALTnumber = {ISBN: 9782364930421} } @Proceedings{ActesJFPC2012cover, title = {{Actes des Huiti\`ems Journées Francophones de Programmation par Contraintes}}, year = {2012}, editor = {de Givry, S}, address = JFPC12L, organization = {Organized by C. Garion and MJ. Huguet and T. Schiex} } @inproceedings{Givry12a, author = {Allouche, D and Bessiere, C and Boizumault, P and de Givry, S and Gutierrez, P and Loudni, S and M\'etivier, JP and Schiex, T}, booktitle = JFPC12P, year = {2012}, pages = {15-24}, address = JFPC12L, title = {Filtrage de fonctions de co\^{u}t globales d\'ecomposables} } @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 = {} } @proceedings{Schiex19a, editor = {Thomas Schiex and Simon de Givry}, title = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, publisher = {Springer}, year = {2019} } @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 = {} }