Simon de Givry

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 30

Top Topics

Tree Decomposition

Graphical Models

Constraint Programming

Top Venues

Constraints An Int. J.

Publications

Samuel Buchet, David Allouche, Simon de Givry, Thomas Schiex
Bi-objective Discrete Graphical Model Optimization. CPAIOR (1) (2024)
Tomás Dlask, Tomás Werner, Simon de Givry
Super-reparametrizations of weighted CSPs: properties and optimization perspective. Constraints An Int. J. 28 (2) (2023)
Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, Tomás Werner
Virtual Pairwise Consistency in Cost Function Networks. CPAIOR (2023)
Fulya Trösser, Simon de Givry, George Katsirelos
Structured Set Variable Domains in Bayesian Network Structure Learning. CP (2022)
Fulya Trösser, Simon de Givry, George Katsirelos
Learning the structure of Bayesian Networks using constraint programming. ISAIM (2022)
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
Gene regulatory network inference methodology for genomic and transcriptomic data acquired in genetically related heterozygote individuals. Bioinform. 38 (17) (2022)
Tomás Dlask, Tomás Werner, Simon de Givry
Super-Reparametrizations of Weighted CSPs: Properties and Optimization Perspective. CoRR (2022)
Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry
Parallel Hybrid Best-First Search. CP (2022)
Pierre Montalbano, Simon de Givry, George Katsirelos
Multiple-choice Knapsack Constraint in Graphical Models. CPAIOR (2022)
Tomás Dlask, Tomás Werner, Simon de Givry
Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations. CP (2021)
Fulya Trösser, Simon de Givry, George Katsirelos
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. IJCAI (2021)
Sara Maqrot, Simon de Givry, Marc Tchamitchian, Gauthier Quesnel
Conception de systèmes de verger-maraîcher à l'aide de la programmation mathématique. ROIA 2 (1) (2021)
Fulya Trösser, Simon de Givry, George Katsirelos
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. CoRR (2021)
Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods. Algorithms 14 (6) (2021)
Céline Brouard, Simon de Givry, Thomas Schiex
Pushing Data into CP Models Using Graphical Model Learning and Solving. CP (2020)
Martin C. Cooper, Simon de Givry, Thomas Schiex
Graphical Models: Queries, Complexity, Algorithms (Tutorial). STACS (2020)
Fulya Trösser, Simon de Givry, George Katsirelos
Relaxation-Aware Heuristics for Exact Optimization in Graphical Models. CPAIOR (2020)
Abdelkader Ouali, David Allouche, Simon de Givry, Samir Loudni, Yahia Lebbah, Lakhdar Loukil, Patrice Boizumault
Variable neighborhood search for graphical model energy minimization. Artif. Intell. 278 (2020)
Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
Guaranteed Diversity & Quality for the Weighted CSP. ICTAI (2019)
Clément Viricel, Simon de Givry, Thomas Schiex, Sophie Barbe
Cost function network-based design of protein-protein interactions: predicting changes in binding affinity. Bioinform. 34 (15) (2018)
Simon de Givry, George Katsirelos
Clique Cuts in Weighted Constraint Satisfaction. CP (2017)
Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex
Triangle-based consistencies for cost function networks. Constraints An Int. J. 22 (2) (2017)
Sara Maqrot, Simon de Givry, Gauthier Quesnel, Marc Tchamitchian
A Mixed Integer Programming Reformulation of the Mixed Fruit-Vegetable Crop Allocation Problem. IEA/AIE (2) (2017)
Abdelkader Ouali, David Allouche, Simon de Givry, Samir Loudni, Yahia Lebbah, Lakhdar Loukil
Iterative Decomposition Guided Variable Neighborhood Search for Graphical Model Energy Minimization. UAI (2017)
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
Tractability-preserving transformations of global cost functions. Artif. Intell. 238 (2016)
Barry Hurley, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry
Multi-language evaluation of exact solvers in graphical model discrete optimization. Constraints An Int. J. 21 (3) (2016)
David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. CP (2015)
Clément Viricel, David Simoncini, David Allouche, Simon de Givry, Sophie Barbe, Thomas Schiex
Approximate Counting with Deterministic Guarantees for Affinity Computation. MCO (2) (2015)
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
Tractability and Decompositions of Global Cost Functions. CoRR (2015)
Nathalie Peyrard, Simon de Givry, Alain Franc, Stéphane Robin, Régis Sabbadin, Thomas Schiex, Matthieu Vignes
Exact and approximate inference in graphical models: variable elimination and beyond. CoRR (2015)
David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré
Computational protein design as an optimization problem. Artif. Intell. 212 (2014)
Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex
Bounds Arc Consistency for Weighted CSPs. CoRR (2014)
Simon de Givry, Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum
Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions. CP (2014)
Hiep Nguyen, Simon de Givry, Thomas Schiex, Christian Bessiere
Maintaining Virtual Arc Consistency Dynamically during Search. ICTAI (2014)
Simon de Givry, Steven D. Prestwich, Barry O'Sullivan
Dead-End Elimination for Weighted CSP. CP (2013)
Mahuna Akplogan, Simon de Givry, Jean-Philippe Métivier, Gauthier Quesnel, Alexandre Joannon, Frédérick Garcia
Solving the Crop Allocation Problem using Hard and Soft Constraints. RAIRO Oper. Res. 47 (2) (2013)
Seydou Traoré, David Allouche, Isabelle André, Simon de Givry, George Katsirelos, Thomas Schiex, Sophie Barbe
A new framework for computational protein design through cost function network optimization. Bioinform. 29 (17) (2013)
François Fages, Simon de Givry, Christine Solnon
Preface. RAIRO Oper. Res. 47 (2) (2013)
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)
Jimmy Vandel, Brigitte Mangin, Matthieu Vignes, Damien Leroux, Olivier 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. Rev. d'Intelligence Artif. 26 (6) (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)
Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex
Pairwise Decomposition for Combinatorial Optimization in Graphical Models. IJCAI (2011)
David Allouche, Simon de Givry, Thomas Schiex
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. CP (2010)
Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki, Tomás Werner
Soft arc consistency revisited. Artif. Intell. 174 (7-8) (2010)
Aurélie Favier, Jean-Michel Elsen, Simon de Givry, Andrés Legarra
Optimal haplotype reconstruction in half-sib families. WCB@ICLP (2010)
Bertrand Servin, Simon de Givry, Thomas Faraut
Statistical confidence measures for genome maps: application to the validation of genome assemblies. Bioinform. 26 (24) (2010)
Aurélie Favier, Simon de Givry, Philippe Jégou
Exploiting Problem Structure for Solution Counting. CP (2009)
Martí Sánchez-Fibla, David Allouche, Simon de Givry, Thomas Schiex
Russian Doll Search with Tree Decomposition. IJCAI (2009)
Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex
Bounds Arc Consistency for Weighted CSPs. J. Artif. Intell. Res. 35 (2009)
Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki
Virtual Arc Consistency for Weighted CSP. AAAI (2008)
Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex
Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. Constraints An Int. J. 13 (1-2) (2008)
Javier Larrosa, Federico Heras, Simon de Givry
A logical approach to efficient Max-SAT solving. Artif. Intell. 172 (2-3) (2008)
Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex
2006 and 2007 Max-SAT Evaluations: Contributed Instances. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Martin C. Cooper, Simon de Givry, Thomas Schiex
Optimal Soft Arc Consistency. IJCAI (2007)
Thomas Faraut, Simon de Givry, Patrick Chabrier, Thomas Derrien, Francis Galibert, Christophe Hitte, Thomas Schiex
A comparative genome approach to marker ordering. Bioinform. 23 (2) (2007)
Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. CCIA (2007)
Simon de Givry, Thomas Schiex, Gérard Verfaillie
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. AAAI (2006)
Simon de Givry, Laurent Jeannin
A unified framework for partial and hybrid search methods in constraint programming. Comput. Oper. Res. 33 (10) (2006)
Javier Larrosa, Federico Heras, Simon de Givry
A Logical Approach to Efficient Max-SAT solving CoRR (2006)
Patricia Thébault, Simon de Givry, Thomas Schiex, Christine Gaspin
Searching RNA motifs and their intermolecular contacts with constraint networks. Bioinform. 22 (17) (2006)
Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. IJCAI (2005)
Simon de Givry, Martin Bouchez, Patrick Chabrier, Denis Milan, Thomas Schiex
A GENE: multipopulation integrated genetic and radiation hybrid mapping. Bioinform. 21 (8) (2005)
Laurent Jeannin, Simon de Givry
Optimisation des évolutions d'un réseau télécoms. JFPLC (2003)
Simon de Givry, Laurent Jeannin
Optimisation des évolutions d'un réseau télécom. Tech. Sci. Informatiques 22 (1) (2003)
Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex
Solving Max-SAT as Weighted CSP. CP (2003)
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)
Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners
Radio Link Frequency Assignment. Constraints An Int. J. 4 (1) (1999)
Simon de Givry, Pierre Savéant, Jean Jourdan
Optimisation combinatoire en temps limité: Depth First Branch and Bound adaptaif. JFPLC (1999)
Bertrand Cabon, Simon de Givry, Gérard Verfaillie
Anytime Lower Bounds for Constraint Violation Minimization Problems. CP (1998)
Simon de Givry, Gérard Verfaillie, Thomas Schiex
Bounding the Optimum of Constraint Optimization Problems. CP (1997)