Simon de Givry

J. Vandel, B. Mangin, Matthieu Vignes, Damien Leroux, O. Loudet, Marie-Laure Martin-Magniette, Simon de Givry: Inférence de réseaux de régulation de gènes au travers de scores étendus dans les réseaux bayésiens. Revue d'Intelligence Artificielle 26(6): 679-708 (2012)

David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex: Filtering Decomposable Global Cost Functions. AAAI 2012

David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex: Computational Protein Design as a Cost Function Network Optimization Problem. CP 2012: 840-849

Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex: Pairwise Decomposition for Combinatorial Optimization in Graphical Models. IJCAI 2011: 2126-2132

Martin C. Cooper, Simon de Givry, M. Sanchez, Thomas Schiex, Matthias Zytnicki, T. Werner: Soft arc consistency revisited. Artif. Intell. 174(7-8): 449-478 (2010)

Bertrand Servin, Simon de Givry, Thomas Faraut: Statistical confidence measures for genome maps: application to the validation of genome assemblies. Bioinformatics 26(24): 3035-3042 (2010)

David Allouche, Simon de Givry, Thomas Schiex: Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. CP 2010: 53-60

Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex: Bounds Arc Consistency for Weighted CSPs. J. Artif. Intell. Res. (JAIR) 35: 593-621 (2009)

Aurélie Favier, Simon de Givry, Philippe Jégou: Exploiting Problem Structure for Solution Counting. CP 2009: 335-343

Martí Sánchez, David Allouche, Simon de Givry, Thomas Schiex: Russian Doll Search with Tree Decomposition. IJCAI 2009: 603-608

Javier Larrosa, Federico Heras, Simon de Givry: A logical approach to efficient Max-SAT solving. Artif. Intell. 172(2-3): 204-233 (2008)

Martí Sánchez, Simon de Givry, Thomas Schiex: Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. Constraints 13(1-2): 130-154 (2008)

Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex: 2006 and 2007 Max-SAT Evaluations: Contributed Instances. JSAT 4(2-4): 239-250 (2008)

Martin C. Cooper, Simon de Givry, Martí Sánchez, Thomas Schiex, Matthias Zytnicki: Virtual Arc Consistency for Weighted CSP. AAAI 2008: 253-258

Thomas Faraut, Simon de Givry, Patrick Chabrier, Thomas Derrien, Francis Galibert, Christophe Hitte, Thomas Schiex: A comparative genome approach to marker ordering. Bioinformatics 23(2): 50-56 (2007)

Martí Sánchez, Simon de Givry, Thomas Schiex: Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. CCIA 2007: 29-37

Martin C. Cooper, Simon de Givry, Thomas Schiex: Optimal Soft Arc Consistency. IJCAI 2007: 68-73

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

Simon de Givry, Laurent Jeannin: A unified framework for partial and hybrid search methods in constraint programming. Computers & OR 33(10): 2805-2833 (2006)

Simon de Givry, Thomas Schiex, Gérard Verfaillie: Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. AAAI 2006: 22-27

Javier Larrosa, Federico Heras, Simon de Givry: A Logical Approach to Efficient Max-SAT solving. CoRR abs/cs/0611025 (2006)

Simon de Givry, Martin Bouchez, Patrick Chabrier, Denis Milan, Thomas Schiex: CAR_H^TA GENE: multipopulation integrated genetic and radiation hybrid mapping. Bioinformatics 21(8): 1703-1704 (2005)

Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa: Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. IJCAI 2005: 84-89

Simon de Givry, Laurent Jeannin: Optimisation des évolutions d'un réseau télécom. Technique et Science Informatiques 22(1): 183-186 (2003)

Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex: Solving Max-SAT as Weighted CSP. CP 2003: 363-376

Laurent Jeannin, Simon de Givry: Optimisation des évolutions d'un réseau télécoms. JFPLC 2003: 183-186

Juliette Mattioli, Nicolas Museux, Jean Jourdan, Pierre Savéant, Simon de Givry: A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture. CP 2001: 701-715

Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners: Radio Link Frequency Assignment. Constraints 4(1): 79-89 (1999)

Simon de Givry, Pierre Savéant, Jean Jourdan: Optimisation combinatoire en temps limité: Depth First Branch and Bound adaptaif. JFPLC 1999: 161-178

Bertrand Cabon, Simon de Givry, Gérard Verfaillie: Anytime Lower Bounds for Constraint Violation Minimization Problems. CP 1998: 117-131

Simon de Givry, Gérard Verfaillie, Thomas Schiex: Bounding the Optimum of Constraint Optimization Problems. CP 1997: 405-419