Simon de Givry

76 papers A* 9A 18B 6Misc 1Journal 33Unranked 7

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