@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{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{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{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{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{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{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"}

@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�s 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�s 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 = {http://www.inra.fr/mia/T/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 = 	 {bic extended, factorized normalized maximum likelihood}
}

@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 = {Le probl�me �tudi� est celui de l'apprentissage de la structure d'un r�seau bay�sien � partir d'observations. On suppose les variables al�atoires enti�rement observ�es pour un ensemble de r�alisations et la difficult� est de retrouver la structure qui maximise la vraisemblance p�nalis�e des observations. Il s'agit d'un probl�me d'optimisation combinatoire NP-difficile avec un espace de recherche constitu� d'un nombre super-exponentiel de graphes dirig�s sans circuit. Plusieurs approches ont �t� d�velopp�es pour tenter de r�soudre de fa�on optimale ce probl�me dont la logique propositionnelle, la programmation dynamique, la programmation lin�aire en nombre entiers et la programmation par contraintes. Le travail de recherche est constitu� de l'�tude d'une nouvelle approche inspir�e des techniques de reformulation par coh�rence locale souple dans les r�seaux de fonctions de co�ts. Diff�rentes mod�lisations sont �tudi�es et compar�es dont une approche utilisant la fermeture transitive du graphe dirig� repr�sentant le r�seau bay�sien. Une mod�lisation implicite sous forme de contrainte globale est envisag�e.}
}

@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 = 	 {fNML gamma comparaison methodes reconstruction}
}

@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 = 	 {modele fusionne}
}

@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 = 	 {simulator and structure graph learning for genetical genomics}
}

@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 = 	{Heuristics are important techniques to find quickly good solutions for difficult integer programs. Most heuristics depend on a solution of the relaxed linear program. On the contrary, Lagrangian relaxation offers several advantages over linear programming, namely it is extremely fast on large problems. One of the Lagrangian based heuristics is Generalized Wedelin's heuristic. The performance of this method depends crucially on the choice of its numerous parameters. To adjust these parameters and learn which ones have important influence on whether a feasible solution is found and its quality, we conduct sensitivity analysis combined with a parameter optimization metaheuristic. We have implemented a C++ parallel version of Generalized Wedelin's heuristic. The solver is called baryonyx. To test its performance, we compare it with IBM ILOG cplex and with two local search methods: a 4-flip neighborhood local search algorithm and LocalSolver. Results show that baryonyx is competitive with the existing solvers on difficult set partitioning and large weighted n-queens problems.}
}

@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}
}

@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}
}

@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{Schiex2015a,
  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 = 	 {carthagene MCMC confidence adjacency score}
}

@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 = 	 {overview methode RH}
}

@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 = 	 {EDAC for ternary constraints, MendelSoft}
}

@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 = 	 {comparative RH mapping applied to bovine chr14}
}

@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 = 	 {carthagene approach comparative}
}

@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 = 	 {release carthagene 1.0a}
}

@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 = 	 {MilPat http://carlit.toulouse.inra.fr/MilPaT/MilPat.pl}
}

@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 = 	 {MendelSoft http://www.inra.fr/mia/T/MendelSoft}
}

@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 = 	 {challenge grand pedigree}
}

@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 = 	 {MilPat}
}

@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 = 	 {application notes www.inra.fr/mia/T/CartaGene http://bioinformatics.oupjournals.org/cgi/content/abstract/bti222v1}
}

@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 = 	 {tagsnp cplex}
}

@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 = 	 {carthagene mcmc}
}

@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 = 	 {presentation pleniere}
}

@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 = 	 {Carthagene voisinage ordonn\'e suivant taux de recombinaison profil anytime}
}

@inproceedings{Schiex20b,
	author = {C{\'e}line Brouard and Simon de Givry and Thomas Schiex}, 
    booktitle = CP20P,
    year = 	 {2020},
    OPTpages = 	 {},
    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},
    OPTpages = 	 {},
    address = 	CPAIOR20L,
	title = {Relaxation-Aware Heuristics for Exact Optimization in Graphical Models}
}

@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}
}

@Misc{Beldjilali19a,
	year = {2019}, 
	author = {Abdelkader Beldjilali and David Allouche and Simon de Givry}, 
	howpublished = {Abstract and poster at CP-19},
    pages = 	 {19--20},
	address = CP19L,
	title = {{Parallel Hybrid Best-First Search}},
	note = {http://www.inra.fr/mia/T/degivry/Beldjilali19b.pdf (poster)}
}

@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 = {http://www.inra.fr/mia/T/degivry/GivryISMP2018.pdf},
  annote = 	 {By representing the constraints and objective function in factorized form, graphical models can concisely define various NP-hard combinatorial optimization problems. They are therefore extensively used in several areas of computer science and artificial intelligence. Graphical models can be deterministic or stochastic, optimize a sum or product of local functions, defining a joint cost or probability distribution. Simple transformations exist between these two types of models, but also with MaxSAT and integer programming. During the past ten years, we have been developing a graphical model solver called toulbar2 and we report on a large comparison of exact solvers which are all state-of-the-art for their own target language. We present recent algorithmic advances in toulbar2 including generalized clique cuts and parallel variable neighborhood search methods that make the solver verycompetitive on several benchmarks coming from probabilistic inference, computer vision and pattern recognition, weighted MaxSAT, and weighted MaxCSP competitions. All 3026 instances are made publicly available in five different formats (uai, lp, wcnf, wcsp, mzn) and seven formulations. To our knowledge, this is the first evaluation that encompasses such a large set of related NP-hard optimization frameworks, despite their tight connections. Solver toulbar2 and benchmarks are available at https://github.com/toulbar2/toulbar2 and http://genoweb.toulouse.inra.fr/\~degivry/evalgm.}
}

@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, http://www.inra.fr/mia/T/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 = {http://www.inra.fr/mia/T/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 http://www.inra.fr/mia/T/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 = 	 {CP 2009 paper with proofs and maxchord+}
}

@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 = 	 {cluster tree elimination and dfbb on multicore computer}
}

@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 = 	 {VAC, mincut and feedback arc set submodular problem}
}

@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 = 	 {btd for counting, approximation based on maximal partial chordal graphs}
}

@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 = 	{BAC ARN bep}
}

@Misc{tutorial_optimization_ijcai09,
  author = 	 {Marinescu, R. and Dechter, R. and {de Givry}, S. and Schiex, T.},
  title = 	 {Combinatorial Optimization for Graphical Models},
  howpublished = {IJCAI-09 tutorial},
  month = 	 {July},
  year = 	 {2009},
  address =  {Pasadena (CA), USA}, 
  note = {http://www.inra.fr/mia/T/degivry/tutorial\_optimization\_ijcai09.ppt}, 
  annote = 	 {MPE, (mini) bucket elim, soft AC, EPT, AND/OR search}
}

@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 = 	 {RDS-BTD}
}

@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 = 	 {VAC}
}

@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 = 	 {Max-DPLL}
}

@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 = 	 {OSAC}
}

@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 = 	 {OSAC}
}

@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 = 	 {Lc-BTD+}
}

@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 = 	 {EDAC}
}

@Misc{ToolBar,
  author = 	 {S. Bouveret and F. Heras and S.de Givry and J. Larrosa and M. Sanchez and T. Schiex},
  title = 	 {ToolBar: a state-of-the-art platform for WCSP},
  howpublished = {{http://www.inra.fr/mia/T/degivry/ToolBar.pdf}},
  year = 	 {2004},
  annote = 	 {ToolBar booklet at CP-2004 workshop on Preferences and Soft Constraints}
}

@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 = 	 {ToolBar}
}

@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 = 	 {benchmark max2sat cplex pbs opbdp mfdac}
}

@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 = 	 {benchmark du celar avec les SUB-CELARi}
}

@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 = 	 {ida idrds brider branch and bound}
}

@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 = 	 {simplifications bornes inferieures celar6}
}

@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 = 	 {vcsp complexite algorithmique des minorants et majorants}
}

@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{Trosser19a,
	author = {Fulya Tr�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 = 	 {http://www.inra.fr/mia/T/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}
}

@Misc{Givry11a,
  author = 		 {de Givry, S},
  title = 		 {Optimisation combinatoire dans les r\'eseaux de fonctions de co\^ut},
  howpublished = {Habilitation \`a dirig\'e des recherches, UPS, Toulouse},
  year = 		 {March 29, 2011},
  note = 	 {http://www.inra.fr/mia/T/degivry/Givry11a\_pres.pdf},
}

@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 = 	 {VAC}
}

@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 = 	 {Lc-BTD+}
}

@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 = 	 {EDAC}
}

@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 = 	 {heuristiques pour partitionnement de graphes et aggregation de valeurs}
}

@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 = 	 {encadrement optimum en VCSPs}
}

@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 = 	 {changement de structure de valuation relaxations lexicographique}
}

@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 = 	 {Special issue of selected articles from CP-AI-OR'2003 ToOLS http://www.sciencedirect.com/science/article/B6VC5-4FHJG80-2/2/10eef82606c2ca4ec512008b47f2c99a}
}

@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 = 	 {ToOls configuration reseau}
}

@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 = 	 {ToOLS + appli EOLE bep}
}

@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 = 	 {presentation invitee a Rome, novembre 2002}
}

@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 = 	 {placement de taches sur machine parallele}
}

@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 = 	 {proceedings olcp}
}

@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 = 	 {synthese rapport EOLE annee 1}
}

@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 = 	 {survey ppc reprise article paclp2000 Jean Jourdan}
}

@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 = 	 {ols examples, characterisitics and technics}
}

@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 = 	 {lds adaptatif, refus a CP99}
}

@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 = 	 {2eme categorie senior au qualif, dernier au final}
}

@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 = 	 {Application EOLE}
}

@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 = 	 {Application EOLE}
}

@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 = 	 {architecture eole et tools}
}

@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 = 	 {strategie dynamique de reglage automatique des parametres de completude}
}

@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 = 	 {anytime survey}
}

@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 = 	 {modele saturne mixage synchrone faible & tache interruptible}
}

@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 = 	 {systemes hybrides anytime gestion de processus}
}


######################################### EXTERNAL REFERENCE MANUALY ADDED #######################


@InProceedings{Larrosa00,
  Author         = {J. Larrosa},
  Title          = {Boosting search with variable elimination},
  BookTitle      = {Principles and Practice of Constraint Programming - CP
                   2000},
  Volume         = {1894},
  Series         = {LNCS},
  Pages          = {291--305},
  Address        = {Singapore},
  month          = sep,
  year           = 2000
}

@book{koller2009,
  title={Probabilistic graphical models: principles and techniques},
  author={Koller, D and Friedman, N},
  year={2009},
  publisher={The MIT Press}
}

@InProceedings{Ginsberg95,
  Author         = {W. D. Harvey and M. L. Ginsberg},
  Title          = {Limited Discrepency Search},
  BookTitle      = ijcai95p,
  Address        = ijcai95l,
  year           = 1995
}

@Article{Lecoutre09,
  Author         = {Lecoutre, C. and Sa\"is, L and Tabary, S. and Vidal, V.},
  Title          = {Reasoning from last conflict(s) in constraint programming},
  Journal        = ai,
  Volume         = 173,
  Pages          = {1592,1614},
  year           = 2009
}

@inproceedings{boussemart2004,
  title={Boosting systematic search by weighting constraints},
  author={Boussemart, Fr{\'e}d{\'e}ric and Hemery, Fred and Lecoutre, Christophe and Sais, Lakhdar},
  booktitle={ECAI},
  volume={16},
  pages={146},
  year={2004}
}

@inproceedings{idwalk:cp04,
	author={Neveu, Bertrand and Trombettoni, Gilles and Glover, Fred},
	title={ID Walk: A Candidate List Strategy with a Simple Diversification Device},
	booktitle={Proc.\ of CP},
	year={2004},
	pages={423-437},
    address ={Toronto, Canada}
}

@InProceedings{Verfaillie96,
  Author         = {G. Verfaillie and M. Lema{\^\i}tre and T. Schiex},
  Title          = {Russian Doll Search},
  BookTitle      = aaai96p,
  Pages          = {181-187},
  Address        = aaai96l,
  year           = 1996
}
	
@inproceedings {LL2009,
	author = {Lee, J. H. M. and Leung, K. L.},
	title = {{Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction}},
	 booktitle={Proceedings of IJCAI'09},
  pages={559-565},
  year={2009}
}
 
@inproceedings {LL2010,
	author = {Lee, J. H. M. and Leung, K. L.},
	title = {{A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction}},
	booktitle={Proceedings of AAAI'10},
	pages={121-127},
  year={2010},
}
	
@article{LL2012asa,
  author = {Lee, J. H. M. and Leung, K. L.},
  title = {{Consistency Techniques for Global Cost Functions in Weighted Constraint Satisfaction}},
	journal = {Journal of Artificial Intelligence Research},
    volume = {43},
	pages = {257-292},
	year = {2012}
}

@InProceedings{Larrosa2002,
  Author         = {J. Larrosa},
  Title          = {On Arc and Node Consistency in weighted {CSP}},
  BookTitle      = "Proc. AAAI'02",
  Pages          = "48-53",
  Address        = "Edmondton, (CA)",
  year           = 2002
}

@InProceedings{Larrosa2003,
  Author         = {J. Larrosa and T. Schiex},
  Title          = {In the quest of the best form of local consistency for
                   Weighted {CSP}},
  BookTitle      = {Proc.\ of the 18$^{th}$ IJCAI},
  Pages          = {239-244},
  Address        = {Acapulco, Mexico},
  month          = aug,
  year           = 2003
}

@InProceedings{Schiex00b,
  Author         = {T. Schiex},
  Title          = {Arc consistency for soft constraints},
  BookTitle      = {Principles and Practice of Constraint Programming - CP
                   2000},
  Volume         = {1894},
  Series         = {LNCS},
  Pages          = {411-424},
  Address        = {Singapore},
  month          = sep,
  year           = 2000
}

@Article{CooperFCSP,
  Author         = {Cooper, M C.},
  Title          = {Reduction operations in fuzzy or valued constraint
                   satisfaction},
  Journal        = {Fuzzy Sets and Systems},
  Volume         = {134},
  Number         = {3},
  Pages          = {311-342},
  year           = 2003
}

