Bounding the Optimum of Constraint Optimization Problems. - Simon de Givry; Gérard Verfaillie; Thomas Schiex (CP, 1997)

Anytime Lower Bounds for Constraint Violation Minimization Problems. - Bertrand Cabon; Simon de Givry; Gérard Verfaillie (CP, 1998)

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

Radio Link Frequency Assignment. - Bertrand Cabon; Simon de Givry; Lionel Lobjois; Thomas Schiex; Joost P. Warners (Constraints An Int. J., 1999)

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

Solving Max-SAT as Weighted CSP. - Simon de Givry; Javier Larrosa; Pedro Meseguer; Thomas Schiex (CP, 2003)

Optimisation des évolutions d'un réseau télécoms. - Laurent Jeannin; Simon de Givry (JFPLC, 2003)

Optimisation des évolutions d'un réseau télécom. - Simon de Givry; Laurent Jeannin (Tech. Sci. Informatiques, 2003)

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

CARHTA GENE: multipopulation integrated genetic and radiation hybrid mapping. - Simon de Givry; Martin Bouchez; Patrick Chabrier; Denis Milan; Thomas Schiex (Bioinform., 2005)

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

Searching RNA motifs and their intermolecular contacts with constraint networks. - Patricia Thébault; Simon de Givry; Thomas Schiex; Christine Gaspin (Bioinform., 2006)

A unified framework for partial and hybrid search methods in constraint programming. - Simon de Givry; Laurent Jeannin (Comput. Oper. Res., 2006)

Optimal Soft Arc Consistency. - Martin C. Cooper; Simon de Givry; Thomas Schiex (IJCAI, 2007)

A comparative genome approach to marker ordering. - Thomas Faraut; Simon de Givry; Patrick Chabrier; Thomas Derrien; Francis Galibert; Christophe Hitte; Thomas Schiex (Bioinform., 2007)

Virtual Arc Consistency for Weighted CSP. - Martin C. Cooper; Simon de Givry; Martí Sánchez-Fibla; Thomas Schiex; Matthias Zytnicki (AAAI, 2008)

A logical approach to efficient Max-SAT solving. - Javier Larrosa; Federico Heras; Simon de Givry (Artif. Intell., 2008)

Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. - Martí Sánchez-Fibla; Simon de Givry; Thomas Schiex (Constraints An Int. J., 2008)

2006 and 2007 Max-SAT Evaluations: Contributed Instances. - Federico Heras; Javier Larrosa; Simon de Givry; Thomas Schiex (J. Satisf. Boolean Model. Comput., 2008)

Exploiting Problem Structure for Solution Counting. - Aurélie Favier; Simon de Givry; Philippe Jégou (CP, 2009)

Russian Doll Search with Tree Decomposition. - Martí Sánchez-Fibla; David Allouche; Simon de Givry; Thomas Schiex (IJCAI, 2009)

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

Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. - David Allouche; Simon de Givry; Thomas Schiex (CP, 2010)

Optimal haplotype reconstruction in half-sib families. - Aurélie Favier; Jean-Michel Elsen; Simon de Givry; Andrés Legarra (WCB@ICLP, 2010)

Soft arc consistency revisited. - Martin C. Cooper; Simon de Givry; Martí Sánchez-Fibla; Thomas Schiex; Matthias Zytnicki; Tomás Werner (Artif. Intell., 2010)

Statistical confidence measures for genome maps: application to the validation of genome assemblies. - Bertrand Servin; Simon de Givry; Thomas Faraut (Bioinform., 2010)

Optimisation combinatoire dans les réseaux de fonctions de coût. - Simon de Givry (2011)

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

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

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

Inférence de réseaux de régulation de gènes au travers de scores étendus dans les réseaux bayésiens. - Jimmy Vandel; Brigitte Mangin; Matthieu Vignes; Damien Leroux; Olivier Loudet; Marie-Laure Martin-Magniette; Simon de Givry (Rev. d'Intelligence Artif., 2012)

Dead-End Elimination for Weighted CSP. - Simon de Givry; Steven D. Prestwich; Barry O'Sullivan (CP, 2013)

A new framework for computational protein design through cost function network optimization. - Seydou Traoré; David Allouche; Isabelle André; Simon de Givry; George Katsirelos; Thomas Schiex; Sophie Barbe (Bioinform., 2013)

Solving the Crop Allocation Problem using Hard and Soft Constraints. - Mahuna Akplogan; Simon de Givry; Jean-Philippe Métivier; Gauthier Quesnel; Alexandre Joannon; Frédérick Garçia (RAIRO Oper. Res., 2013)

Preface. - François Fages; Simon de Givry; Christine Solnon (RAIRO Oper. Res., 2013)

Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions. - Simon de Givry; Jimmy Ho-Man Lee; Ka Lun Leung; Yu Wai Shum (CP, 2014)

Maintaining Virtual Arc Consistency Dynamically during Search. - Hiep Nguyen; Simon de Givry; Thomas Schiex; Christian Bessiere (ICTAI, 2014)

Computational protein design as an optimization problem. - David Allouche; Isabelle André; Sophie Barbe; Jessica Davies 001; Simon de Givry; George Katsirelos; Barry O'Sullivan; Steven D. Prestwich; Thomas Schiex; Seydou Traoré (Artif. Intell., 2014)

Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. - David Allouche; Simon de Givry; George Katsirelos; Thomas Schiex; Matthias Zytnicki (CP, 2015)

Approximate Counting with Deterministic Guarantees for Affinity Computation. - Clément Viricel; David Simoncini; David Allouche; Simon de Givry; Sophie Barbe; Thomas Schiex (MCO (2), 2015)

Tractability and Decompositions of Global Cost Functions. - David Allouche; Christian Bessiere; Patrice Boizumault; Simon de Givry; Patricia Gutierrez; Jimmy H. M. Lee; Ka Lun Leung; Samir Loudni; Jean-Philippe Métivier; Thomas Schiex; Yi Wu (CoRR, 2015)

Exact and approximate inference in graphical models: variable elimination and beyond. - Nathalie Peyrard; Simon de Givry; Alain Franc; Stéphane Robin; Régis Sabbadin; Thomas Schiex; Matthieu Vignes (CoRR, 2015)

Tractability-preserving transformations of global cost functions. - David Allouche; Christian Bessiere; Patrice Boizumault; Simon de Givry; Patricia Gutierrez; Jimmy H. M. Lee; Ka Lun Leung; Samir Loudni; Jean-Philippe Métivier; Thomas Schiex; Yi Wu (Artif. Intell., 2016)

Multi-language evaluation of exact solvers in graphical model discrete optimization. - Barry Hurley 001; Barry O'Sullivan; David Allouche; George Katsirelos; Thomas Schiex; Matthias Zytnicki; Simon de Givry (Constraints An Int. J., 2016)

Clique Cuts in Weighted Constraint Satisfaction. - Simon de Givry; George Katsirelos (CP, 2017)

A Mixed Integer Programming Reformulation of the Mixed Fruit-Vegetable Crop Allocation Problem. - Sara Maqrot; Simon de Givry; Gauthier Quesnel; Marc Tchamitchian (IEA/AIE (2), 2017)

Iterative Decomposition Guided Variable Neighborhood Search for Graphical Model Energy Minimization. - Abdelkader Ouali; David Allouche; Simon de Givry; Samir Loudni; Yahia Lebbah; Lakhdar Loukil (UAI, 2017)

Triangle-based consistencies for cost function networks. - Hiep Nguyen; Christian Bessiere; Simon de Givry; Thomas Schiex (Constraints An Int. J., 2017)

Cost function network-based design of protein-protein interactions: predicting changes in binding affinity. - Clément Viricel; Simon de Givry; Thomas Schiex; Sophie Barbe (Bioinform., 2018)

Guaranteed Diversity & Quality for the Weighted CSP. - Manon Ruffini; Jelena Vucinic; Simon de Givry; George Katsirelos; Sophie Barbe; Thomas Schiex (ICTAI, 2019)

Valued Constraint Satisfaction Problems. - Martin C. Cooper; Simon de Givry; Thomas Schiex (A Guided Tour of Artificial Intelligence Research (2) (II), 2020)

Pushing Data into CP Models Using Graphical Model Learning and Solving. - Céline Brouard; Simon de Givry; Thomas Schiex (CP, 2020)

Relaxation-Aware Heuristics for Exact Optimization in Graphical Models. - Fulya Trösser; Simon de Givry; George Katsirelos (CPAIOR, 2020)

Graphical Models: Queries, Complexity, Algorithms (Tutorial). - Martin C. Cooper; Simon de Givry; Thomas Schiex (STACS, 2020)

Variable neighborhood search for graphical model energy minimization. - Abdelkader Ouali; David Allouche; Simon de Givry; Samir Loudni; Yahia Lebbah; Lakhdar Loukil; Patrice Boizumault (Artif. Intell., 2020)

Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations. - Tomás Dlask; Tomás Werner; Simon de Givry (CP, 2021)

Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. - Fulya Trösser; Simon de Givry; George Katsirelos (IJCAI, 2021)

Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods. - Manon Ruffini; Jelena Vucinic; Simon de Givry; George Katsirelos; Sophie Barbe; Thomas Schiex (Algorithms, 2021)

Conception de systèmes de verger-maraîcher à l'aide de la programmation mathématique. - Sara Maqrot; Simon de Givry; Marc Tchamitchian; Gauthier Quesnel (Rev. Ouverte Intell. Artif., 2021)

Parallel Hybrid Best-First Search. - Abdelkader Beldjilali; Pierre Montalbano; David Allouche; George Katsirelos; Simon de Givry (CP, 2022)

Structured Set Variable Domains in Bayesian Network Structure Learning. - Fulya Trösser; Simon de Givry; George Katsirelos (CP, 2022)

Multiple-choice Knapsack Constraint in Graphical Models. - Pierre Montalbano; Simon de Givry; George Katsirelos (CPAIOR, 2022)

Learning the structure of Bayesian Networks using constraint programming. - Fulya Trösser; Simon de Givry; George Katsirelos (ISAIM, 2022)

Gene regulatory network inference methodology for genomic and transcriptomic data acquired in genetically related heterozygote individuals. - Lise Pomiès; Céline Brouard; Harold Duruflé; Élise Maigné; Clément Carré; Louise Gody; Fulya Trösser; George Katsirelos; Brigitte Mangin; Nicolas B. Langlade; Simon de Givry (Bioinform., 2022)

Virtual Pairwise Consistency in Cost Function Networks. - Pierre Montalbano; David Allouche; Simon de Givry; George Katsirelos; Tomás Werner (CPAIOR, 2023)

Super-reparametrizations of weighted CSPs: properties and optimization perspective. - Tomás Dlask; Tomás Werner; Simon de Givry (Constraints An Int. J., 2023)

Bi-objective Discrete Graphical Model Optimization. - Samuel Buchet; David Allouche; Simon de Givry; Thomas Schiex (CPAIOR (1), 2024)