Thomas Schiex

Orcid: 0000-0001-6049-3415

Affiliations:
  • INRA, Toulouse, France


According to our database1, Thomas Schiex authored at least 91 papers between 1992 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Scalable Coupling of Deep Learning with Logical Reasoning.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk).
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022
Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models.
Proceedings of the International Conference on Machine Learning, 2022

2021
Efficient semidefinite bounds for multi-label discrete graphical models.
CoRR, 2021

Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods.
Algorithms, 2021

2020
Positive multistate protein design.
Bioinform., 2020

Graphical Models: Queries, Complexity, Algorithms (Tutorial).
Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

Pushing Data into CP Models Using Graphical Model Learning and Solving.
Proceedings of the Principles and Practice of Constraint Programming, 2020

2019
Variable Neighborhood Search with Cost Function Networks To Solve Large Computational Protein Design Problems.
J. Chem. Inf. Model., 2019

A structural homology approach for computational protein design with flexible backbone.
Bioinform., 2019

Guaranteed Diversity & Quality for the Weighted CSP.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018
Cost function network-based design of protein-protein interactions: predicting changes in binding affinity.
Bioinform., 2018

Fitness landscape analysis around the optimum in computational protein design.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018

2017
Triangle-based consistencies for cost function networks.
Constraints An Int. J., 2017

2016
Fast search algorithms for computational protein design.
J. Comput. Chem., 2016

Multi-language evaluation of exact solvers in graphical model discrete optimization.
Constraints An Int. J., 2016

Tractability-preserving transformations of global cost functions.
Artif. Intell., 2016

Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2015
Exact and approximate inference in graphical models: variable elimination and beyond.
CoRR, 2015

Tractability and Decompositions of Global Cost Functions.
CoRR, 2015

Strong consistencies for weighted constraint satisfaction problems.
Constraints An Int. J., 2015

Approximate Counting with Deterministic Guarantees for Affinity Computation.
Proceedings of the Modelling, Computation and Optimization in Information Systems and Management Sciences - Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences, 2015

Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP.
Proceedings of the Principles and Practice of Constraint Programming, 2015

2014
EuGene-PP: a next-generation automated annotation pipeline for prokaryotic genomes.
Bioinform., 2014

Computational protein design as an optimization problem.
Artif. Intell., 2014

Maintaining Virtual Arc Consistency Dynamically during Search.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2013
A Constraint Satisfaction Approach to Decision under Uncertainty
CoRR, 2013

A new framework for computational protein design through cost function network optimization.
Bioinform., 2013

Dynamic virtual arc consistency.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012
Detecting long tandem duplications in genomic sequences.
BMC Bioinform., 2012

Computational Protein Design as a Cost Function Network Optimization Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Filtering Decomposable Global Cost Functions.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Pairwise Decomposition for Combinatorial Optimization in Graphical Models.
Proceedings of the IJCAI 2011, 2011

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.
Tech. Sci. Informatiques, 2010

Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning.
Constraints An Int. J., 2010

Soft arc consistency revisited.
Artif. Intell., 2010

Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009
Bounds Arc Consistency for Weighted CSPs.
J. Artif. Intell. Res., 2009

FrameDP: sensitive peptide detection on noisy matured sequences.
Bioinform., 2009

Russian Doll Search with Tree Decomposition.
Proceedings of the IJCAI 2009, 2009

Constraint Satisfaction Problems.
Proceedings of the Decision-making Process, 2009

Sequential Decision-Making Problems - Representation and Solution.
Wiley, ISBN: 978-1-84821-174-2, 2009

2008
2006 and 2007 Max-SAT Evaluations: Contributed Instances.
J. Satisf. Boolean Model. Comput., 2008

DARN! A Weighted Constraint Solver for RNA Motif Localization.
Constraints An Int. J., 2008

Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques.
Constraints An Int. J., 2008

LeARN: a platform for detecting, clustering and annotating non-coding RNAs.
BMC Bioinform., 2008

Virtual Arc Consistency for Weighted CSP.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Un cadre graphique et algébrique pour les problèmes de décision incluant incertitudes, faisabilités et utilités.
Rev. d'Intelligence Artif., 2007

Algorithmes et complexités génériques pour différents cadres de décision séquentielle dans l'incertain.
Rev. d'Intelligence Artif., 2007

An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities.
J. Artif. Intell. Res., 2007

A comparative genome approach to marker ordering.
Bioinform., 2007

Optimal Soft Arc Consistency.
Proceedings of the IJCAI 2007, 2007

2006
Soft Constraints.
Proceedings of the Handbook of Constraint Programming, 2006

Searching RNA motifs and their intermolecular contacts with constraint networks.
Bioinform., 2006

From Influence Diagrams to Multi-operator Cluster DAGs.
Proceedings of the UAI '06, 2006

A new local consistency for weighted CSP dedicated to long domains.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.
Proceedings of the Principles and Practice of Constraint Programming, 2006

Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP.
Proceedings of the Proceedings, 2006

2005
Integrating alternative splicing detection into gene prediction.
BMC Bioinform., 2005

CAR<sub>H</sub><sup>T</sup>A GENE: multipopulation integrated genetic and radiation hybrid mapping.
Bioinform., 2005

2004
Solving weighted CSP by maintaining arc consistency.
Artif. Intell., 2004

Arc consistency for soft constraints.
Artif. Intell., 2004

2003
FrameD: a flexible program for quality check and gene prediction in prokaryotic genomes and noisy matured eukaryotic sequences.
Nucleic Acids Res., 2003

EUGÈNE'HOM: a generic similarity-based gene finder using multiple homologous sequences.
Nucleic Acids Res., 2003

In the quest of the best form of local consistency for Weighted CSP.
Proceedings of the IJCAI-03, 2003

Solving Max-SAT as Weighted CSP.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2001
Boosting EM for Radiation Hybrid and Genetic Mapping.
Proceedings of the Algorithms in Bioinformatics, First International Workshop, 2001

2000
EUGÈNE: An Eukaryotic Gene Finder That Combines Several Sources of Evidence.
Proceedings of the Computational Biology, 2000

Arc Consistency for Soft Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1999
Radio Link Frequency Assignment.
Constraints An Int. J., 1999

Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.
Constraints An Int. J., 1999

Maintaining Reversible DAC for Max-CSP.
Artif. Intell., 1999

1998
Introduction to a Benchmark Column in CONSTRAINTS.
Constraints An Int. J., 1998

Nonmonotonic Reasoning: From Complexity to Algorithms.
Ann. Math. Artif. Intell., 1998

Reversible DAC and Other Improvements for Solving Max-CSP.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps.
Proceedings of the 5th International Conference on Intelligent Systems for Molecular Biology, 1997

Bounding the Optimum of Constraint Optimization Problems.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Genetic Algorithms for Genetic Mapping.
Proceedings of the Artificial Evolution, Third European Conference, 1997

1996
Russian Doll Search for Solving Constraint Optimization Problems.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Lazy Arc Consistency.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
A constraint satisfaction framework for decision under uncertainty.
Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

Valued Constraint Satisfaction Problems: Hard and Easy Problems.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.
Proceedings of the Over-Constrained Systems, 1995

1994
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems.
Int. J. Artif. Intell. Tools, 1994

Penalty Logic and its Link with Dempster-Shafer Theory.
Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

Stubborness: A Possible Enhancement for Backjumping and Nogood Recording.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Solution Reuse in Dynamic Constraint Satisfaction Problems.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
A Fixed Point Semantics for the ATMS.
J. Log. Comput., 1993

1992
Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?".
Proceedings of the UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, 1992


  Loading...