Skip to content

Thomas Schiex

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

44

Venues

13

Active years

1992–2026

Best venue rank

A*

Where they publish

Papers

44 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAIAssignment Problems in Cost Function Networks.Guidio Sewa, David Allouche, Simon de Givry, George Katsirelos, Pierre Montalbano, Thomas Schiex
2026CPAIORSingleton Node Consistency for Quadratic Assignment Problems in Cost Function Networks.Guidio Sewa, David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex
2024CPAIORBi-objective Discrete Graphical Model Optimization.Samuel Buchet, David Allouche, Simon de Givry, Thomas Schiex
2023CPCoupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk).Thomas Schiex
2023IJCAIScalable Coupling of Deep Learning with Logical Reasoning.Marianne Defresne, Sophie Barbe, Thomas Schiex
2022ICMLEfficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models.Valentin Durante, George Katsirelos, Thomas Schiex
2020CPPushing Data into CP Models Using Graphical Model Learning and Solving.Cline Brouard, Simon de Givry, Thomas Schiex
2020STACSGraphical Models: Queries, Complexity, Algorithms (Tutorial).Martin C. Cooper, Simon de Givry, Thomas Schiex
2019ICTAIGuaranteed Diversity & Quality for the Weighted CSP.Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
2018GECCOFitness landscape analysis around the optimum in computational protein design.David Simoncini, Sophie Barbe, Thomas Schiex, Sbastien Vrel
2016CPGuaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure.Clment Viricel, David Simoncini, Sophie Barbe, Thomas Schiex
2015CPAnytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP.David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki
2014ICTAIMaintaining Virtual Arc Consistency Dynamically during Search.Hiep Nguyen, Simon de Givry, Thomas Schiex, Christian Bessiere
2013SACDynamic virtual arc consistency.Hiep Nguyen, Thomas Schiex, Christian Bessiere
2012AAAIFiltering Decomposable Global Cost Functions.David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Mtivier, Thomas Schiex
2012CPComputational Protein Design as a Cost Function Network Optimization Problem.David Allouche, Seydou Traor, Isabelle Andr, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
2011IJCAIPairwise Decomposition for Combinatorial Optimization in Graphical Models.Aurlie Favier, Simon de Givry, Andrs Legarra, Thomas Schiex
2010CPTowards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP.David Allouche, Simon de Givry, Thomas Schiex
2009IJCAIRussian Doll Search with Tree Decomposition.Mart Snchez-Fibla, David Allouche, Simon de Givry, Thomas Schiex
2008AAAIVirtual Arc Consistency for Weighted CSP.Martin C. Cooper, Simon de Givry, Mart Snchez-Fibla, Thomas Schiex, Matthias Zytnicki
2007IJCAIOptimal Soft Arc Consistency.Martin C. Cooper, Simon de Givry, Thomas Schiex
2006AAAIExploiting Tree Decomposition and Soft Local Consistency In Weighted CSP.Simon de Givry, Thomas Schiex, Grard Verfaillie
2006CPDecomposition of Multi-operator Queries on Semiring-Based Graphical Models.Cdric Pralet, Thomas Schiex, Grard Verfaillie
2006ECAIDecision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework.Cdric Pralet, Grard Verfaillie, Thomas Schiex
2006SACA new local consistency for weighted CSP dedicated to long domains.Matthias Zytnicki, Christine Gaspin, Thomas Schiex
2006UAIFrom Influence Diagrams to Multi-operator Cluster DAGs.Cdric Pralet, Thomas Schiex, Grard Verfaillie
2003CPSolving Max-SAT as Weighted CSP.Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex
2003IJCAIIn the quest of the best form of local consistency for Weighted CSP.Javier Larrosa, Thomas Schiex
2001WABIBoosting EM for Radiation Hybrid and Genetic Mapping.Thomas Schiex, Patrick Chabrier, Martin Bouchez, Denis Milan
2000CPArc Consistency for Soft Constraints.Thomas Schiex
1998AAAIReversible DAC and Other Improvements for Solving Max-CSP.Javier Larrosa, Pedro Meseguer, Thomas Schiex, Grard Verfaillie
1997CPBounding the Optimum of Constraint Optimization Problems.Simon de Givry, Grard Verfaillie, Thomas Schiex
1997ISMBCARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps.Thomas Schiex, Christine Gaspin
1996AAAIMixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge.Hlne Fargier, Jrme Lang, Thomas Schiex
1996AAAILazy Arc Consistency.Thomas Schiex, Jean-Charles Rgin, Christine Gaspin, Grard Verfaillie
1996AAAIRussian Doll Search for Solving Constraint Optimization Problems.Grard Verfaillie, Michel Lematre, Thomas Schiex
1995CPSemiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.Stefano Bistarelli, Hlne Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Grard Verfaillie
1995IJCAIValued Constraint Satisfaction Problems: Hard and Easy Problems.Thomas Schiex, Hlne Fargier, Grard Verfaillie
1995UAIA constraint satisfaction framework for decision under uncertainty.Hlne Fargier, Jrme Lang, Roger Martin-Clouaire, Thomas Schiex
1994AAAISolution Reuse in Dynamic Constraint Satisfaction Problems.Grard Verfaillie, Thomas Schiex
1994ECAIStubborness: A Possible Enhancement for Backjumping and Nogood Recording.Thomas Schiex, Grard Verfaillie
1994UAIPenalty Logic and its Link with Dempster-Shafer Theory.Florence Dupin de Saint-Cyr, Jrme Lang, Thomas Schiex
1993ICTAINogood Recording for Static and Dynamic Constraint Satisfaction Problems.Thomas Schiex, Grard Verfaillie
1992UAIPossibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?".Thomas Schiex