Thomas Schiex

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 20

Top Topics

Tree Decomposition

Graphical Models

Constraint Satisfaction Problems

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)
Marianne Defresne, Sophie Barbe, Thomas Schiex
Scalable Coupling of Deep Learning with Logical Reasoning. CoRR (2023)
Thomas Schiex
Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk). CP (2023)
Marianne Defresne, Sophie Barbe, Thomas Schiex
Scalable Coupling of Deep Learning with Logical Reasoning. IJCAI (2023)
Valentin Durante, George Katsirelos, Thomas Schiex
Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models. ICML (2022)
Valentin Durante, George Katsirelos, Thomas Schiex
Efficient semidefinite bounds for multi-label discrete graphical models. 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)
Jelena Vucinic, David Simoncini, Manon Ruffini, Sophie Barbe, Thomas Schiex
Positive multistate protein design. Bioinform. 36 (1) (2020)
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)
David Simoncini, Kam Y. J. Zhang, Thomas Schiex, Sophie Barbe
A structural homology approach for computational protein design with flexible backbone. Bioinform. 35 (14) (2019)
Antoine Charpentier, David Mignon, Sophie Barbe, Juan Cortés, Thomas Schiex, Thomas Simonson, David Allouche
Variable Neighborhood Search with Cost Function Networks To Solve Large Computational Protein Design Problems. J. Chem. Inf. Model. 59 (1) (2019)
Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
Guaranteed Diversity & Quality for the Weighted CSP. ICTAI (2019)
David Simoncini, Sophie Barbe, Thomas Schiex, Sébastien Vérel
Fitness landscape analysis around the optimum in computational protein design. GECCO (2018)
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)
Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex
Triangle-based consistencies for cost function networks. Constraints An Int. J. 22 (2) (2017)
Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex
Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. CP (2016)
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)
Seydou Traoré, Kyle E. Roberts, David Allouche, Bruce Randall Donald, Isabelle André, Thomas Schiex, Sophie Barbe
Fast search algorithms for computational protein design. J. Comput. Chem. 37 (12) (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)
Thi Hong Hiep Nguyen, Thomas Schiex, Christian Bessiere
Strong consistencies for weighted constraint satisfaction problems. Constraints An Int. J. 20 (4) (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)
Erika Sallet, Jérôme Gouzy, Thomas Schiex
EuGene-PP: a next-generation automated annotation pipeline for prokaryotic genomes. Bioinform. 30 (18) (2014)
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)
Hiep Nguyen, Simon de Givry, Thomas Schiex, Christian Bessiere
Maintaining Virtual Arc Consistency Dynamically during Search. ICTAI (2014)
Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex
Penalty logic and its Link with Dempster-Shafer Theory CoRR (2013)
Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex
A Constraint Satisfaction Approach to Decision under Uncertainty CoRR (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)
Thomas Schiex
Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?" CoRR (2013)
Hiep Nguyen, Thomas Schiex, Christian Bessiere
Dynamic virtual arc consistency. SAC (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)
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)
Eric Audemard, Thomas Schiex, Thomas Faraut
Detecting long tandem duplications in genomic sequences. BMC Bioinform. 13 (2012)
Cédric Pralet, Thomas Schiex, Gérard Verfaillie
From influence diagrams to multi-operator cluster DAGs. CoRR (2012)
Cédric Pralet, Thomas Schiex, Gérard Verfaillie
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities CoRR (2011)
Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex
Pairwise Decomposition for Combinatorial Optimization in Graphical Models. IJCAI (2011)
Pedro Meseguer, Francesca Rossi, Thomas Schiex
Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning. Constraints An Int. J. 15 (4) (2010)
Cédric Pralet, Gérard Verfaillie, Thomas Schiex
Le cadre PFU, un modèle et des algorithmes génériques pour la décision séquentielle incluant incertitudes, faisabilités et utilités. Tech. Sci. Informatiques 29 (1) (2010)
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)
Martí Sánchez-Fibla, David Allouche, Simon de Givry, Thomas Schiex
Russian Doll Search with Tree Decomposition. IJCAI (2009)
Jérôme Gouzy, Sébastien Carrère, Thomas Schiex
FrameDP: sensitive peptide detection on noisy matured sequences. Bioinform. 25 (5) (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)
Céline Noirot, Christine Gaspin, Thomas Schiex, Jérôme Gouzy
LeARN: a platform for detecting, clustering and annotating non-coding RNAs. BMC Bioinform. 9 (2008)
Matthias Zytnicki, Christine Gaspin, Thomas Schiex
DARN! A Weighted Constraint Solver for RNA Motif Localization. Constraints An Int. J. 13 (1-2) (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)
Cédric Pralet, Gérard Verfaillie, Thomas Schiex
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. J. Artif. Intell. Res. 29 (2007)
Cédric Pralet, Thomas Schiex, Gérard Verfaillie
Algorithmes et complexités génériques pour différents cadres de décision séquentielle dans l'incertain. Rev. d'Intelligence Artif. 21 (4) (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)
Cédric Pralet, Cédric Verfaillie, Thomas Schiex
Un cadre graphique et algébrique pour les problèmes de décision incluant incertitudes, faisabilités et utilités. Rev. d'Intelligence Artif. 21 (3) (2007)
Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. CCIA (2007)
Cédric Pralet, Thomas Schiex, Gérard Verfaillie
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. CP (2006)
Simon de Givry, Thomas Schiex, Gérard Verfaillie
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. AAAI (2006)
Cédric Pralet, Thomas Schiex, Gérard Verfaillie
From Influence Diagrams to Multi-operator Cluster DAGs. UAI (2006)
Matthias Zytnicki, Christine Gaspin, Thomas Schiex
A new local consistency for weighted CSP dedicated to long domains. SAC (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)
Cédric Pralet, Gérard Verfaillie, Thomas Schiex
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. ECAI (2006)
Sylvain Foissac, Thomas Schiex
Integrating alternative splicing detection into gene prediction. BMC Bioinform. 6 (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)
Javier Larrosa, Thomas Schiex
Solving weighted CSP by maintaining arc consistency. Artif. Intell. 159 (1-2) (2004)
Martin C. Cooper, Thomas Schiex
Arc consistency for soft constraints. Artif. Intell. 154 (1-2) (2004)
Thomas Schiex, Jérôme Gouzy, Annick Moisan, Yannick de Oliveira
FrameD: a flexible program for quality check and gene prediction in prokaryotic genomes and noisy matured eukaryotic sequences. Nucleic Acids Res. 31 (13) (2003)
Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex
Solving Max-SAT as Weighted CSP. CP (2003)
Javier Larrosa, Thomas Schiex
In the quest of the best form of local consistency for Weighted CSP. IJCAI (2003)
Sylvain Foissac, Philippe Bardou, Annick Moisan, Marie-Josée Cros, Thomas Schiex
EUGÈNE'HOM: a generic similarity-based gene finder using multiple homologous sequences. Nucleic Acids Res. 31 (13) (2003)
Thomas Schiex, Patrick Chabrier, Martin Bouchez, Denis Milan
Boosting EM for Radiation Hybrid and Genetic Mapping. WABI (2001)
Martin C. Cooper, Thomas Schiex
Arc consistency for soft constraints CoRR (2001)
Thomas Schiex
Arc Consistency for Soft Constraints. CP (2000)
Thomas Schiex, Annick Moisan, Pierre Rouzé
EUGÈNE: An Eukaryotic Gene Finder That Combines Several Sources of Evidence. JOBIM (2000)
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Constraints An Int. J. 4 (3) (1999)
Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners
Radio Link Frequency Assignment. Constraints An Int. J. 4 (1) (1999)
Javier Larrosa, Pedro Meseguer, Thomas Schiex
Maintaining Reversible DAC for Max-CSP. Artif. Intell. 107 (1) (1999)
Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Thomas Schiex
Nonmonotonic Reasoning: From Complexity to Algorithms. Ann. Math. Artif. Intell. 22 (3-4) (1998)
Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex
Introduction to a Benchmark Column in CONSTRAINTS. Constraints An Int. J. 3 (2/3) (1998)
Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie
Reversible DAC and Other Improvements for Solving Max-CSP. AAAI/IAAI (1998)
Simon de Givry, Gérard Verfaillie, Thomas Schiex
Bounding the Optimum of Constraint Optimization Problems. CP (1997)
Christine Gaspin, Thomas Schiex
Genetic Algorithms for Genetic Mapping. Artificial Evolution (1997)
Thomas Schiex, Christine Gaspin
CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps. ISMB (1997)
Gérard Verfaillie, Michel Lemaître, Thomas Schiex
Russian Doll Search for Solving Constraint Optimization Problems. AAAI/IAAI, Vol. 1 (1996)
Hélène Fargier, Jérôme Lang, Thomas Schiex
Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge. AAAI/IAAI, Vol. 1 (1996)
Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie
Lazy Arc Consistency. AAAI/IAAI, Vol. 1 (1996)
Thomas Schiex, Hélène Fargier, Gérard Verfaillie
Valued Constraint Satisfaction Problems: Hard and Easy Problems. IJCAI (1) (1995)
Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. Over-Constrained Systems (1995)
Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex
A constraint satisfaction framework for decision under uncertainty. UAI (1995)
Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex
Penalty Logic and its Link with Dempster-Shafer Theory. UAI (1994)
Gérard Verfaillie, Thomas Schiex
Solution Reuse in Dynamic Constraint Satisfaction Problems. AAAI (1994)
Thomas Schiex, Gérard Verfaillie
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. Int. J. Artif. Intell. Tools 3 (2) (1994)
Thomas Schiex, Gérard Verfaillie
Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. ECAI (1994)
Thomas Schiex, Gérard Verfaillie
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. ICTAI (1993)
Michel Cayrol, Olivier Palmade, Thomas Schiex
A Fixed Point Semantics for the ATMS. J. Log. Comput. 3 (2) (1993)
Thomas Schiex
Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?". UAI (1992)