Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?". - Thomas Schiex (UAI, 1992)

A Fixed Point Semantics for the ATMS. - Michel Cayrol; Olivier Palmade; Thomas Schiex (J. Log. Comput., 1993)

Solution Reuse in Dynamic Constraint Satisfaction Problems. - Gérard Verfaillie; Thomas Schiex (AAAI, 1994)

Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. - Thomas Schiex; Gérard Verfaillie (ECAI, 1994)

Penalty Logic and its Link with Dempster-Shafer Theory. - Florence Dupin de Saint-Cyr; Jérôme Lang; Thomas Schiex (UAI, 1994)

Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. - Thomas Schiex; Gérard Verfaillie (Int. J. Artif. Intell. Tools, 1994)

Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. - Stefano Bistarelli; Hélène Fargier; Ugo Montanari; Francesca Rossi 001; Thomas Schiex; Gérard Verfaillie (Over-Constrained Systems, 1995)

Valued Constraint Satisfaction Problems: Hard and Easy Problems. - Thomas Schiex; Hélène Fargier; Gérard Verfaillie (IJCAI (1), 1995)

A constraint satisfaction framework for decision under uncertainty. - Hélène Fargier; Jérôme Lang; Roger Martin-Clouaire; Thomas Schiex (UAI, 1995)

Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge. - Hélène Fargier; Jérôme Lang; Thomas Schiex (AAAI/IAAI, Vol. 1, 1996)

Lazy Arc Consistency. - Thomas Schiex; Jean-Charles Régin; Christine Gaspin; Gérard Verfaillie (AAAI/IAAI, Vol. 1, 1996)

Russian Doll Search for Solving Constraint Optimization Problems. - Gérard Verfaillie; Michel Lemaître; Thomas Schiex (AAAI/IAAI, Vol. 1, 1996)

Genetic Algorithms for Genetic Mapping. - Christine Gaspin; Thomas Schiex (Artificial Evolution, 1997)

Bounding the Optimum of Constraint Optimization Problems. - Simon de Givry; Gérard Verfaillie; Thomas Schiex (CP, 1997)

CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps. - Thomas Schiex; Christine Gaspin (ISMB, 1997)

Reversible DAC and Other Improvements for Solving Max-CSP. - Javier Larrosa; Pedro Meseguer; Thomas Schiex; Gérard Verfaillie (AAAI/IAAI, 1998)

Nonmonotonic Reasoning: From Complexity to Algorithms. - Claudette Cayrol; Marie-Christine Lagasquie-Schiex; Thomas Schiex (Ann. Math. Artif. Intell., 1998)

Introduction to a Benchmark Column in CONSTRAINTS. - Claude Le Pape; James M. Crawford; Barry Fox; Thomas Schiex (Constraints An Int. J., 1998)

Maintaining Reversible DAC for Max-CSP. - Javier Larrosa; Pedro Meseguer; Thomas Schiex (Artif. Intell., 1999)

Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001; Thomas Schiex; Gérard Verfaillie; Hélène Fargier (Constraints An Int. J., 1999)

Radio Link Frequency Assignment. - Bertrand Cabon; Simon de Givry; Lionel Lobjois; Thomas Schiex; Joost P. Warners (Constraints An Int. J., 1999)

Arc Consistency for Soft Constraints. - Thomas Schiex (CP, 2000)

EUGÈNE: An Eukaryotic Gene Finder That Combines Several Sources of Evidence. - Thomas Schiex; Annick Moisan; Pierre Rouzé (JOBIM, 2000)

Boosting EM for Radiation Hybrid and Genetic Mapping. - Thomas Schiex; Patrick Chabrier; Martin Bouchez; Denis Milan (WABI, 2001)

Solving Max-SAT as Weighted CSP. - Simon de Givry; Javier Larrosa; Pedro Meseguer; Thomas Schiex (CP, 2003)

In the quest of the best form of local consistency for Weighted CSP. - Javier Larrosa; Thomas Schiex (IJCAI, 2003)

EUGÈNE'HOM: a generic similarity-based gene finder using multiple homologous sequences. - Sylvain Foissac; Philippe Bardou; Annick Moisan; Marie-Josée Cros; Thomas Schiex (Nucleic Acids Res., 2003)

FrameD: a flexible program for quality check and gene prediction in prokaryotic genomes and noisy matured eukaryotic sequences. - Thomas Schiex; Jérôme Gouzy; Annick Moisan; Yannick de Oliveira (Nucleic Acids Res., 2003)

Arc consistency for soft constraints. - Martin C. Cooper; Thomas Schiex (Artif. Intell., 2004)

Solving weighted CSP by maintaining arc consistency. - Javier Larrosa; Thomas Schiex (Artif. Intell., 2004)

CARHTA GENE: multipopulation integrated genetic and radiation hybrid mapping. - Simon de Givry; Martin Bouchez; Patrick Chabrier; Denis Milan; Thomas Schiex (Bioinform., 2005)

Integrating alternative splicing detection into gene prediction. - Sylvain Foissac; Thomas Schiex (BMC Bioinform., 2005)

Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. - Simon de Givry; Thomas Schiex; Gérard Verfaillie (AAAI, 2006)

Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. - Cédric Pralet; Thomas Schiex; Gérard Verfaillie (CP, 2006)

Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. - Cédric Pralet; Gérard Verfaillie; Thomas Schiex (ECAI, 2006)

A new local consistency for weighted CSP dedicated to long domains. - Matthias Zytnicki; Christine Gaspin; Thomas Schiex (SAC, 2006)

From Influence Diagrams to Multi-operator Cluster DAGs. - Cédric Pralet; Thomas Schiex; Gérard Verfaillie (UAI, 2006)

Searching RNA motifs and their intermolecular contacts with constraint networks. - Patricia Thébault; Simon de Givry; Thomas Schiex; Christine Gaspin (Bioinform., 2006)

Soft Constraints. - Pedro Meseguer; Francesca Rossi 001; Thomas Schiex (Handbook of Constraint Programming, 2006)

Optimal Soft Arc Consistency. - Martin C. Cooper; Simon de Givry; Thomas Schiex (IJCAI, 2007)

A comparative genome approach to marker ordering. - Thomas Faraut; Simon de Givry; Patrick Chabrier; Thomas Derrien; Francis Galibert; Christophe Hitte; Thomas Schiex (Bioinform., 2007)

An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. - Cédric Pralet; Gérard Verfaillie; Thomas Schiex (J. Artif. Intell. Res., 2007)

Algorithmes et complexités génériques pour différents cadres de décision séquentielle dans l'incertain. - Cédric Pralet; Thomas Schiex; Gérard Verfaillie (Rev. d'Intelligence Artif., 2007)

Un cadre graphique et algébrique pour les problèmes de décision incluant incertitudes, faisabilités et utilités. - Cédric Pralet; Cédric Verfaillie; Thomas Schiex (Rev. d'Intelligence Artif., 2007)

Virtual Arc Consistency for Weighted CSP. - Martin C. Cooper; Simon de Givry; Martí Sánchez-Fibla; Thomas Schiex; Matthias Zytnicki (AAAI, 2008)

LeARN: a platform for detecting, clustering and annotating non-coding RNAs. - Céline Noirot; Christine Gaspin; Thomas Schiex; Jérôme Gouzy (BMC Bioinform., 2008)

Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. - Martí Sánchez-Fibla; Simon de Givry; Thomas Schiex (Constraints An Int. J., 2008)

DARN! A Weighted Constraint Solver for RNA Motif Localization. - Matthias Zytnicki; Christine Gaspin; Thomas Schiex (Constraints An Int. J., 2008)

2006 and 2007 Max-SAT Evaluations: Contributed Instances. - Federico Heras; Javier Larrosa; Simon de Givry; Thomas Schiex (J. Satisf. Boolean Model. Comput., 2008)

Sequential Decision-Making Problems - Representation and Solution. - Cédric Pralet; Thomas Schiex; Gérard Verfaillie (Wiley, 2009)

Constraint Satisfaction Problems. - Gérard Verfaillie; Thomas Schiex (Decision-making Process, 2009)

Russian Doll Search with Tree Decomposition. - Martí Sánchez-Fibla; David Allouche; Simon de Givry; Thomas Schiex (IJCAI, 2009)

FrameDP: sensitive peptide detection on noisy matured sequences. - Jérôme Gouzy; Sébastien Carrère; Thomas Schiex (Bioinform., 2009)

Bounds Arc Consistency for Weighted CSPs. - Matthias Zytnicki; Christine Gaspin; Simon de Givry; Thomas Schiex (J. Artif. Intell. Res., 2009)

Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. - David Allouche; Simon de Givry; Thomas Schiex (CP, 2010)

Soft arc consistency revisited. - Martin C. Cooper; Simon de Givry; Martí Sánchez-Fibla; Thomas Schiex; Matthias Zytnicki; Tomás Werner (Artif. Intell., 2010)

Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning. - Pedro Meseguer; Francesca Rossi 001; Thomas Schiex (Constraints An Int. J., 2010)

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. - Cédric Pralet; Gérard Verfaillie; Thomas Schiex (Tech. Sci. Informatiques, 2010)

Pairwise Decomposition for Combinatorial Optimization in Graphical Models. - Aurélie Favier; Simon de Givry; Andrés Legarra; Thomas Schiex (IJCAI, 2011)

Filtering Decomposable Global Cost Functions. - David Allouche; Christian Bessiere; Patrice Boizumault; Simon de Givry; Patricia Gutierrez; Samir Loudni; Jean-Philippe Métivier; Thomas Schiex (AAAI, 2012)

Computational Protein Design as a Cost Function Network Optimization Problem. - David Allouche; Seydou Traoré; Isabelle André; Simon de Givry; George Katsirelos; Sophie Barbe; Thomas Schiex (CP, 2012)

Detecting long tandem duplications in genomic sequences. - Eric Audemard; Thomas Schiex; Thomas Faraut (BMC Bioinform., 2012)

Dynamic virtual arc consistency. - Hiep Nguyen; Thomas Schiex; Christian Bessiere (SAC, 2013)

A new framework for computational protein design through cost function network optimization. - Seydou Traoré; David Allouche; Isabelle André; Simon de Givry; George Katsirelos; Thomas Schiex; Sophie Barbe (Bioinform., 2013)

A Constraint Satisfaction Approach to Decision under Uncertainty - Hélène Fargier; Jérôme Lang; Roger Martin-Clouaire; Thomas Schiex (CoRR, 2013)

Maintaining Virtual Arc Consistency Dynamically during Search. - Hiep Nguyen; Simon de Givry; Thomas Schiex; Christian Bessiere (ICTAI, 2014)

Computational protein design as an optimization problem. - David Allouche; Isabelle André; Sophie Barbe; Jessica Davies 001; Simon de Givry; George Katsirelos; Barry O'Sullivan; Steven D. Prestwich; Thomas Schiex; Seydou Traoré (Artif. Intell., 2014)

EuGene-PP: a next-generation automated annotation pipeline for prokaryotic genomes. - Erika Sallet; Jérôme Gouzy; Thomas Schiex (Bioinform., 2014)

Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. - David Allouche; Simon de Givry; George Katsirelos; Thomas Schiex; Matthias Zytnicki (CP, 2015)

Approximate Counting with Deterministic Guarantees for Affinity Computation. - Clément Viricel; David Simoncini; David Allouche; Simon de Givry; Sophie Barbe; Thomas Schiex (MCO (2), 2015)

Strong consistencies for weighted constraint satisfaction problems. - Thi Hong Hiep Nguyen; Thomas Schiex; Christian Bessiere (Constraints An Int. J., 2015)

Tractability and Decompositions of Global Cost Functions. - 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 (CoRR, 2015)

Exact and approximate inference in graphical models: variable elimination and beyond. - Nathalie Peyrard; Simon de Givry; Alain Franc; Stéphane Robin; Régis Sabbadin; Thomas Schiex; Matthieu Vignes (CoRR, 2015)

Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. - Clément Viricel; David Simoncini; Sophie Barbe; Thomas Schiex (CP, 2016)

Tractability-preserving transformations of global cost functions. - 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 (Artif. Intell., 2016)

Multi-language evaluation of exact solvers in graphical model discrete optimization. - Barry Hurley 001; Barry O'Sullivan; David Allouche; George Katsirelos; Thomas Schiex; Matthias Zytnicki; Simon de Givry (Constraints An Int. J., 2016)

Fast search algorithms for computational protein design. - Seydou Traoré; Kyle E. Roberts; David Allouche; Bruce Randall Donald; Isabelle André; Thomas Schiex; Sophie Barbe (J. Comput. Chem., 2016)

Triangle-based consistencies for cost function networks. - Hiep Nguyen; Christian Bessiere; Simon de Givry; Thomas Schiex (Constraints An Int. J., 2017)

Fitness landscape analysis around the optimum in computational protein design. - David Simoncini; Sophie Barbe; Thomas Schiex; Sébastien Vérel (GECCO, 2018)

Cost function network-based design of protein-protein interactions: predicting changes in binding affinity. - Clément Viricel; Simon de Givry; Thomas Schiex; Sophie Barbe (Bioinform., 2018)

Guaranteed Diversity & Quality for the Weighted CSP. - Manon Ruffini; Jelena Vucinic; Simon de Givry; George Katsirelos; Sophie Barbe; Thomas Schiex (ICTAI, 2019)

A structural homology approach for computational protein design with flexible backbone. - David Simoncini; Kam Y. J. Zhang; Thomas Schiex; Sophie Barbe (Bioinform., 2019)

Variable Neighborhood Search with Cost Function Networks To Solve Large Computational Protein Design Problems. - Antoine Charpentier; David Mignon; Sophie Barbe; Juan Cortés; Thomas Schiex; Thomas Simonson; David Allouche (J. Chem. Inf. Model., 2019)

Valued Constraint Satisfaction Problems. - Martin C. Cooper; Simon de Givry; Thomas Schiex (A Guided Tour of Artificial Intelligence Research (2) (II), 2020)

Pushing Data into CP Models Using Graphical Model Learning and Solving. - Céline Brouard; Simon de Givry; Thomas Schiex (CP, 2020)

Graphical Models: Queries, Complexity, Algorithms (Tutorial). - Martin C. Cooper; Simon de Givry; Thomas Schiex (STACS, 2020)

Positive multistate protein design. - Jelena Vucinic; David Simoncini; Manon Ruffini; Sophie Barbe; Thomas Schiex (Bioinform., 2020)

Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods. - Manon Ruffini; Jelena Vucinic; Simon de Givry; George Katsirelos; Sophie Barbe; Thomas Schiex (Algorithms, 2021)

Efficient semidefinite bounds for multi-label discrete graphical models. - Valentin Durante; George Katsirelos; Thomas Schiex (CoRR, 2021)

Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models. - Valentin Durante; George Katsirelos; Thomas Schiex (ICML, 2022)

Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk). - Thomas Schiex (CP, 2023)

Scalable Coupling of Deep Learning with Logical Reasoning. - Marianne Defresne; Sophie Barbe; Thomas Schiex (IJCAI, 2023)

Bi-objective Discrete Graphical Model Optimization. - Samuel Buchet; David Allouche; Simon de Givry; Thomas Schiex (CPAIOR (1), 2024)