Simon de Givry

According to our database, Simon de Givry authored at least 67 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bi-objective Discrete Graphical Model Optimization.

Samuel Buchet, David Allouche, Simon de Givry, Thomas Schiex

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023

Super-reparametrizations of weighted CSPs: properties and optimization perspective.

Tomás Dlask, Tomás Werner, Simon de Givry

Constraints An Int. J., 2023

Virtual Pairwise Consistency in Cost Function Networks.

Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, Tomás Werner

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

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

Learning the structure of Bayesian Networks using constraint programming.

Fulya Trösser, Simon de Givry, George Katsirelos

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022

Multiple-choice Knapsack Constraint in Graphical Models.

Pierre Montalbano, Simon de Givry, George Katsirelos

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

Structured Set Variable Domains in Bayesian Network Structure Learning.

Fulya Trösser, Simon de Givry, George Katsirelos

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

Parallel Hybrid Best-First Search.

Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

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

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

Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming.

Fulya Trösser, Simon de Givry, George Katsirelos

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations.

Tomás Dlask, Tomás Werner, Simon de Givry

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

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

Graphical Models: Queries, Complexity, Algorithms (Tutorial).

Martin C. Cooper, Simon de Givry, Thomas Schiex

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

Relaxation-Aware Heuristics for Exact Optimization in Graphical Models.

Fulya Trösser, Simon de Givry, George Katsirelos

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

Pushing Data into CP Models Using Graphical Model Learning and Solving.

Céline Brouard, Simon de Givry, Thomas Schiex

Proceedings of the Principles and Practice of Constraint Programming, 2020

Valued Constraint Satisfaction Problems.

Martin C. Cooper, Simon de Givry, Thomas Schiex

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms, 2020

2019

Guaranteed Diversity & Quality for the Weighted CSP.

Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018

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

2017

Triangle-based consistencies for cost function networks.

Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex

Constraints An Int. J., 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

Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

A Mixed Integer Programming Reformulation of the Mixed Fruit-Vegetable Crop Allocation Problem.

Sara Maqrot, Simon de Givry, Gauthier Quesnel, Marc Tchamitchian

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Clique Cuts in Weighted Constraint Satisfaction.

Simon de Givry, George Katsirelos

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

Multi-language evaluation of exact solvers in graphical model discrete optimization.

Barry Hurley, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry

Constraints An Int. J., 2016

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

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

Approximate Counting with Deterministic Guarantees for Affinity Computation.

Clément Viricel, David Simoncini, David Allouche, Simon de Givry, Sophie Barbe, Thomas Schiex

Proceedings of the Modelling, Computation and Optimization in Information Systems and Management Sciences - Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences, 2015

Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP.

David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Computational protein design as an optimization problem.

David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré

Artif. Intell., 2014

Maintaining Virtual Arc Consistency Dynamically during Search.

Hiep Nguyen, Simon de Givry, Thomas Schiex, Christian Bessiere

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions.

Simon de Givry, Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Preface.

François Fages, Simon de Givry, Christine Solnon

RAIRO Oper. Res., 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

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

Dead-End Elimination for Weighted CSP.

Simon de Givry, Steven D. Prestwich, Barry O'Sullivan

Proceedings of the Principles and Practice of Constraint Programming, 2013

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

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

Proceedings of the Principles and Practice of Constraint Programming, 2012

Filtering Decomposable Global Cost Functions.

David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Pairwise Decomposition for Combinatorial Optimization in Graphical Models.

Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex

Proceedings of the IJCAI 2011, 2011

Optimisation combinatoire dans les réseaux de fonctions de coût.

Simon de Givry

, 2011

2010

Statistical confidence measures for genome maps: application to the validation of genome assemblies.

Bertrand Servin, Simon de Givry, Thomas Faraut

Bioinform., 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

Optimal haplotype reconstruction in half-sib families.

Aurélie Favier, Jean-Michel Elsen, Simon de Givry, Andrés Legarra

Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP.

David Allouche, Simon de Givry, Thomas Schiex

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Bounds Arc Consistency for Weighted CSPs.

Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex

J. Artif. Intell. Res., 2009

Russian Doll Search with Tree Decomposition.

Martí Sánchez-Fibla, David Allouche, Simon de Givry, Thomas Schiex

Proceedings of the IJCAI 2009, 2009

Exploiting Problem Structure for Solution Counting.

Aurélie Favier, Simon de Givry, Philippe Jégou

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

2006 and 2007 Max-SAT Evaluations: Contributed Instances.

Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex

J. Satisf. Boolean Model. Comput., 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

A logical approach to efficient Max-SAT solving.

Javier Larrosa, Federico Heras, Simon de Givry

Artif. Intell., 2008

Virtual Arc Consistency for Weighted CSP.

Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

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

Optimal Soft Arc Consistency.

Martin C. Cooper, Simon de Givry, Thomas Schiex

Proceedings of the IJCAI 2007, 2007

2006

A unified framework for partial and hybrid search methods in constraint programming.

Simon de Givry, Laurent Jeannin

Comput. Oper. Res., 2006

Searching RNA motifs and their intermolecular contacts with constraint networks.

Patricia Thébault, Simon de Givry, Thomas Schiex, Christine Gaspin

Bioinform., 2006

Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP.

Simon de Givry, Thomas Schiex, Gérard Verfaillie

Proceedings of the Proceedings, 2006

2005

CAR_H^TA GENE: multipopulation integrated genetic and radiation hybrid mapping.

Simon de Givry, Martin Bouchez, Patrick Chabrier, Denis Milan, Thomas Schiex

Bioinform., 2005

Existential arc consistency: Getting closer to full arc consistency in weighted CSPs.

Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2003

Optimisation des évolutions d'un réseau télécom.

Simon de Givry, Laurent Jeannin

Tech. Sci. Informatiques, 2003

Optimisation des évolutions d'un réseau télécoms.

Laurent Jeannin, Simon de Givry

Proceedings of the Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), 2003

Solving Max-SAT as Weighted CSP.

Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex

Proceedings of the Principles and Practice of Constraint Programming, 2003

2001

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

Proceedings of the Principles and Practice of Constraint Programming, 2001

1999

Radio Link Frequency Assignment.

Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners

Constraints An Int. J., 1999

Optimisation combinatoire en temps limité: Depth First Branch and Bound adaptaif.

Simon de Givry, Pierre Savéant, Jean Jourdan

Proceedings of the JFPLC'99, 1999

1998

Anytime Lower Bounds for Constraint Violation Minimization Problems.

Bertrand Cabon, Simon de Givry, Gérard Verfaillie

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Bounding the Optimum of Constraint Optimization Problems.

Simon de Givry, Gérard Verfaillie, Thomas Schiex

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997