default search action
Simon de Givry
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c38]Samuel Buchet, David Allouche, Simon de Givry, Thomas Schiex:
Bi-objective Discrete Graphical Model Optimization. CPAIOR (1) 2024: 136-152 - 2023
- [j26]Tomás Dlask
, Tomás Werner
Super-reparametrizations of weighted CSPs: properties and optimization perspective. Constraints An Int. J. 28(2): 277-319 (2023) - [c37]Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, Tomás Werner:
Virtual Pairwise Consistency in Cost Function Networks. CPAIOR 2023: 417-426 - 2022
- [j25]Lise Pomiès
Gene regulatory network inference methodology for genomic and transcriptomic data acquired in genetically related heterozygote individuals. Bioinform. 38(17): 4127-4134 (2022) - [c36]Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry:
Parallel Hybrid Best-First Search. CP 2022: 7:1-7:10 - [c35]Fulya Trösser, Simon de Givry, George Katsirelos:
Structured Set Variable Domains in Bayesian Network Structure Learning. CP 2022: 37:1-37:9 - [c34]Pierre Montalbano
Multiple-choice Knapsack Constraint in Graphical Models. CPAIOR 2022: 282-299 - [c33]Fulya Trösser, Simon de Givry, George Katsirelos:
Learning the structure of Bayesian Networks using constraint programming. ISAIM 2022 - [i6]Tomás Dlask, Tomás Werner, Simon de Givry:
Super-Reparametrizations of Weighted CSPs: Properties and Optimization Perspective. CoRR abs/2201.02018 (2022) - 2021
- [j24]Manon Ruffini, Jelena Vucinic
Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods. Algorithms 14(6): 168 (2021) - [j23]Sara Maqrot
Conception de systèmes de verger-maraîcher à l'aide de la programmation mathématique. Rev. Ouverte Intell. Artif. 2(1): 157-188 (2021) - [c32]Tomás Dlask, Tomás Werner, Simon de Givry
Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations. CP 2021: 23:1-23:18 - [c31]Fulya Trösser, Simon de Givry, George Katsirelos:
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. IJCAI 2021: 4250-4257 - [i5]Fulya Trösser, Simon de Givry, George Katsirelos:
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. CoRR abs/2106.12269 (2021) - 2020
- [j22]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) - [c30]Céline Brouard
Pushing Data into CP Models Using Graphical Model Learning and Solving. CP 2020: 811-827 - [c29]Fulya Trösser
Relaxation-Aware Heuristics for Exact Optimization in Graphical Models. CPAIOR 2020: 475-491 - [c28]Martin C. Cooper
Graphical Models: Queries, Complexity, Algorithms (Tutorial). STACS 2020: 4:1-4:22 - [p1]Martin C. Cooper, Simon de Givry, Thomas Schiex:
Valued Constraint Satisfaction Problems. A Guided Tour of Artificial Intelligence Research (2) (II) 2020: 185-207
2010 – 2019
- 2019
- [c27]Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe
Guaranteed Diversity & Quality for the Weighted CSP. ICTAI 2019: 18-25 - [e1]Thomas Schiex, Simon de Givry:
Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings. Lecture Notes in Computer Science 11802, Springer 2019, ISBN 978-3-030-30047-0 [contents] - 2018
- [j21]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): 2581-2589 (2018) - 2017
- [j20]Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex
Triangle-based consistencies for cost function networks. Constraints An Int. J. 22(2): 230-264 (2017) - [c26]Simon de Givry, George Katsirelos:
Clique Cuts in Weighted Constraint Satisfaction. CP 2017: 97-113 - [c25]Sara Maqrot
A Mixed Integer Programming Reformulation of the Mixed Fruit-Vegetable Crop Allocation Problem. IEA/AIE (2) 2017: 237-250 - [c24]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 - 2016
- [j19]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
Tractability-preserving transformations of global cost functions. Artif. Intell. 238: 166-189 (2016) - [j18]Barry Hurley, Barry O'Sullivan
Multi-language evaluation of exact solvers in graphical model discrete optimization. Constraints An Int. J. 21(3): 413-434 (2016) - 2015
- [c23]David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki:
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. CP 2015: 12-29 - [c22]Clément Viricel, David Simoncini, David Allouche, Simon de Givry, Sophie Barbe
Approximate Counting with Deterministic Guarantees for Affinity Computation. MCO (2) 2015: 165-176 - [i4]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 abs/1502.02414 (2015) - [i3]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 abs/1506.08544 (2015) - 2014
- [j17]David Allouche, Isabelle André, Sophie Barbe
Computational protein design as an optimization problem. Artif. Intell. 212: 59-79 (2014) - [c21]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: 797-812 - [c20]Hiep Nguyen, Simon de Givry, Thomas Schiex, Christian Bessiere:
Maintaining Virtual Arc Consistency Dynamically during Search. ICTAI 2014: 8-15 - [i2]Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex:
Bounds Arc Consistency for Weighted CSPs. CoRR abs/1401.3481 (2014) - 2013
- [j16]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): 2129-2136 (2013) - [j15]François Fages, Simon de Givry, Christine Solnon:
Preface. RAIRO Oper. Res. 47(2): 89-90 (2013) - [j14]Mahuna Akplogan, Simon de Givry, Jean-Philippe Métivier, Gauthier Quesnel, Alexandre Joannon, Frédérick Garçia:
Solving the Crop Allocation Problem using Hard and Soft Constraints. RAIRO Oper. Res. 47(2): 151-172 (2013) - [c19]Simon de Givry, Steven D. Prestwich, Barry O'Sullivan
Dead-End Elimination for Weighted CSP. CP 2013: 263-272 - 2012
- [j13]Jimmy Vandel, Brigitte Mangin, Matthieu Vignes, Damien Leroux, Olivier Loudet
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): 679-708 (2012) - [c18]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: 407-413 - [c17]David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe
Computational Protein Design as a Cost Function Network Optimization Problem. CP 2012: 840-849 - 2011
- [b1]Simon de Givry:
Optimisation combinatoire dans les réseaux de fonctions de coût. Paul Sabatier University, Toulouse, France, 2011 - [c16]Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex:
Pairwise Decomposition for Combinatorial Optimization in Graphical Models. IJCAI 2011: 2126-2132 - 2010
- [j12]Martin C. Cooper
Soft arc consistency revisited. Artif. Intell. 174(7-8): 449-478 (2010) - [j11]Bertrand Servin
Statistical confidence measures for genome maps: application to the validation of genome assemblies. Bioinform. 26(24): 3035-3042 (2010) - [c15]David Allouche, Simon de Givry, Thomas Schiex:
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. CP 2010: 53-60 - [c14]Aurélie Favier, Jean-Michel Elsen, Simon de Givry, Andrés Legarra:
Optimal haplotype reconstruction in half-sib families. WCB@ICLP 2010: 27-37
2000 – 2009
- 2009
- [j10]Matthias Zytnicki, Christine Gaspin
Bounds Arc Consistency for Weighted CSPs. J. Artif. Intell. Res. 35: 593-621 (2009) - [c13]Aurélie Favier, Simon de Givry, Philippe Jégou:
Exploiting Problem Structure for Solution Counting. CP 2009: 335-343 - [c12]Martí Sánchez-Fibla, David Allouche, Simon de Givry, Thomas Schiex:
Russian Doll Search with Tree Decomposition. IJCAI 2009: 603-608 - 2008
- [j9]Javier Larrosa, Federico Heras, Simon de Givry:
A logical approach to efficient Max-SAT solving. Artif. Intell. 172(2-3): 204-233 (2008) - [j8]Martí Sánchez-Fibla
Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. Constraints An Int. J. 13(1-2): 130-154 (2008) - [j7]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): 239-250 (2008) - [c11]Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki:
Virtual Arc Consistency for Weighted CSP. AAAI 2008: 253-258 - 2007
- [j6]Thomas Faraut, Simon de Givry, Patrick Chabrier, Thomas Derrien
A comparative genome approach to marker ordering. Bioinform. 23(2): 50-56 (2007) - [c10]Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex:
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. CCIA 2007: 29-37 - [c9]Martin C. Cooper, Simon de Givry, Thomas Schiex:
Optimal Soft Arc Consistency. IJCAI 2007: 68-73 - 2006
- [j5]Patricia Thébault
Searching RNA motifs and their intermolecular contacts with constraint networks. Bioinform. 22(17): 2074-2080 (2006) - [j4]Simon de Givry, Laurent Jeannin:
A unified framework for partial and hybrid search methods in constraint programming. Comput. Oper. Res. 33(10): 2805-2833 (2006) - [c8]Simon de Givry, Thomas Schiex, Gérard Verfaillie:
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. AAAI 2006: 22-27 - [i1]Javier Larrosa, Federico Heras, Simon de Givry:
A Logical Approach to Efficient Max-SAT solving. CoRR abs/cs/0611025 (2006) - 2005
- [j3]Simon de Givry, Martin Bouchez, Patrick Chabrier, Denis Milan, Thomas Schiex:
CARHTA GENE: multipopulation integrated genetic and radiation hybrid mapping. Bioinform. 21(8): 1703-1704 (2005) - [c7]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 - 2003
- [j2]Simon de Givry, Laurent Jeannin:
Optimisation des évolutions d'un réseau télécom. Tech. Sci. Informatiques 22(1): 183-186 (2003) - [c6]Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex:
Solving Max-SAT as Weighted CSP. CP 2003: 363-376 - [c5]Laurent Jeannin, Simon de Givry:
Optimisation des évolutions d'un réseau télécoms. JFPLC 2003: 183-186 - 2001
- [c4]Juliette Mattioli
A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture. CP 2001: 701-715
1990 – 1999
- 1999
- [j1]Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners:
Radio Link Frequency Assignment. Constraints An Int. J. 4(1): 79-89 (1999) - [c3]Simon de Givry, Pierre Savéant, Jean Jourdan:
Optimisation combinatoire en temps limité: Depth First Branch and Bound adaptaif. JFPLC 1999: 161-178 - 1998
- [c2]Bertrand Cabon, Simon de Givry, Gérard Verfaillie:
Anytime Lower Bounds for Constraint Violation Minimization Problems. CP 1998: 117-131 - 1997
- [c1]Simon de Givry, Gérard Verfaillie, Thomas Schiex:
Bounding the Optimum of Constraint Optimization Problems. CP 1997: 405-419
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: