 | 2011 |
| 60 |  | Aurélie Favier,
Simon de Givry,
Andrés Legarra,
Thomas Schiex:
Pairwise Decomposition for Combinatorial Optimization in Graphical Models.
IJCAI 2011: 2126-2132 |
| 59 |  | Cédric Pralet,
Thomas Schiex,
Gérard Verfaillie:
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities
CoRR abs/1110.2741: (2011) |
| 2010 |
| 58 |  | David Allouche,
Simon de Givry,
Thomas Schiex:
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP.
CP 2010: 53-60 |
| 57 |  | Martin C. Cooper,
Simon de Givry,
M. Sanchez,
Thomas Schiex,
Matthias Zytnicki,
T. Werner:
Soft arc consistency revisited.
Artif. Intell. 174(7-8): 449-478 (2010) |
| 56 |  | Pedro Meseguer,
Francesca Rossi,
Thomas Schiex:
Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning.
Constraints 15(4): 453-455 (2010) |
| 55 |  | 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.
Technique et Science Informatiques 29(1): 85-114 (2010) |
| 2009 |
| 54 |  | Cédric Pralet,
Thomas Schiex,
Gérard Verfaillie:
Sequential Decision-Making Problems - Representation and Solution.
Wiley 2009: I-XVI, 1-325 |
| 53 |  | Martí Sánchez,
David Allouche,
Simon de Givry,
Thomas Schiex:
Russian Doll Search with Tree Decomposition.
IJCAI 2009: 603-608 |
| 52 |  | Jérôme Gouzy,
Sébastien Carrère,
Thomas Schiex:
FrameDP: sensitive peptide detection on noisy matured sequences.
Bioinformatics 25(5): 670-671 (2009) |
| 51 |  | Matthias Zytnicki,
Christine Gaspin,
Simon de Givry,
Thomas Schiex:
Bounds Arc Consistency for Weighted CSPs.
J. Artif. Intell. Res. (JAIR) 35: 593-621 (2009) |
| 2008 |
| 50 |  | Martin C. Cooper,
Simon de Givry,
Martí Sánchez,
Thomas Schiex,
Matthias Zytnicki:
Virtual Arc Consistency for Weighted CSP.
AAAI 2008: 253-258 |
| 49 |  | Céline Noirot,
Christine Gaspin,
Thomas Schiex,
Jérôme Gouzy:
LeARN: a platform for detecting, clustering and annotating non-coding RNAs.
BMC Bioinformatics 9: (2008) |
| 48 |  | Martí Sánchez,
Simon de Givry,
Thomas Schiex:
Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques.
Constraints 13(1-2): 130-154 (2008) |
| 47 |  | Matthias Zytnicki,
Christine Gaspin,
Thomas Schiex:
DARN! A Weighted Constraint Solver for RNA Motif Localization.
Constraints 13(1-2): 91-109 (2008) |
| 46 |  | Federico Heras,
Javier Larrosa,
Simon de Givry,
Thomas Schiex:
2006 and 2007 Max-SAT Evaluations: Contributed Instances.
JSAT 4(2-4): 239-250 (2008) |
| 2007 |
| 45 |  | Martí Sánchez,
Simon de Givry,
Thomas Schiex:
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques.
CCIA 2007: 29-37 |
| 44 |  | Martin C. Cooper,
Simon de Givry,
Thomas Schiex:
Optimal Soft Arc Consistency.
IJCAI 2007: 68-73 |
| 43 |  | Thomas Faraut,
Simon de Givry,
Patrick Chabrier,
Thomas Derrien,
Francis Galibert,
Christophe Hitte,
Thomas Schiex:
A comparative genome approach to marker ordering.
Bioinformatics 23(2): 50-56 (2007) |
| 42 |  | Cédric Pralet,
Gérard Verfaillie,
Thomas Schiex:
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities.
J. Artif. Intell. Res. (JAIR) 29: 421-489 (2007) |
| 41 |  | 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.
Revue d'Intelligence Artificielle 21(3): 419-448 (2007) |
| 40 |  | 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.
Revue d'Intelligence Artificielle 21(4): 459-488 (2007) |
| 2006 |
| 39 |  | Simon de Givry,
Thomas Schiex,
Gérard Verfaillie:
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP.
AAAI 2006: 22-27 |
| 38 |  | Cédric Pralet,
Thomas Schiex,
Gérard Verfaillie:
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.
CP 2006: 437-452 |
| 37 |  | Cédric Pralet,
Gérard Verfaillie,
Thomas Schiex:
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework.
ECAI 2006: 427-431 |
| 36 |  | Matthias Zytnicki,
Christine Gaspin,
Thomas Schiex:
A new local consistency for weighted CSP dedicated to long domains.
SAC 2006: 394-398 |
| 35 |  | Cédric Pralet,
Thomas Schiex,
Gérard Verfaillie:
From Influence Diagrams to Multi-operator Cluster DAGs.
UAI 2006 |
| 34 |  | P. Thébault,
Simon de Givry,
Thomas Schiex,
Christine Gaspin:
Searching RNA motifs and their intermolecular contacts with constraint networks.
Bioinformatics 22(17): 2074-2080 (2006) |
| 2005 |
| 33 |  | Sylvain Foissac,
Thomas Schiex:
Integrating alternative splicing detection into gene prediction.
BMC Bioinformatics 6: 25 (2005) |
| 32 |  | Simon de Givry,
Martin Bouchez,
Patrick Chabrier,
Denis Milan,
Thomas Schiex:
CARHTA GENE: multipopulation integrated genetic and radiation hybrid mapping.
Bioinformatics 21(8): 1703-1704 (2005) |
| 2004 |
| 31 |  | Martin C. Cooper,
Thomas Schiex:
Arc consistency for soft constraints.
Artif. Intell. 154(1-2): 199-227 (2004) |
| 30 |  | Javier Larrosa,
Thomas Schiex:
Solving weighted CSP by maintaining arc consistency.
Artif. Intell. 159(1-2): 1-26 (2004) |
| 2003 |
| 29 |  | Simon de Givry,
Javier Larrosa,
Pedro Meseguer,
Thomas Schiex:
Solving Max-SAT as Weighted CSP.
CP 2003: 363-376 |
| 28 |  | Javier Larrosa,
Thomas Schiex:
In the quest of the best form of local consistency for Weighted CSP.
IJCAI 2003: 239-244 |
| 27 |  | 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 Research 31(13): 3738-3741 (2003) |
| 26 |  | 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 Research 31(13): 3742-3745 (2003) |
| 2001 |
| 25 |  | Thomas Schiex,
Patrick Chabrier,
Martin Bouchez,
Denis Milan:
Boosting EM for Radiation Hybrid and Genetic Mapping.
WABI 2001: 41-51 |
| 24 |  | Martin C. Cooper,
Thomas Schiex:
Arc consistency for soft constraints
CoRR cs.AI/0111038: (2001) |
| 2000 |
| 23 |  | Thomas Schiex:
Arc Consistency for Soft Constraints.
CP 2000: 411-424 |
| 22 |  | Thomas Schiex,
Annick Moisan,
Pierre Rouzé:
EUGÈNE: An Eukaryotic Gene Finder That Combines Several Sources of Evidence.
JOBIM 2000: 111-125 |
| 1999 |
| 21 |  | Javier Larrosa,
Pedro Meseguer,
Thomas Schiex:
Maintaining Reversible DAC for Max-CSP.
Artif. Intell. 107(1): 149-163 (1999) |
| 20 |  | Bertrand Cabon,
Simon de Givry,
Lionel Lobjois,
Thomas Schiex,
Joost P. Warners:
Radio Link Frequency Assignment.
Constraints 4(1): 79-89 (1999) |
| 19 |  | 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 4(3): 199-240 (1999) |
| 1998 |
| 18 |  | Javier Larrosa,
Pedro Meseguer,
Thomas Schiex,
Gérard Verfaillie:
Reversible DAC and Other Improvements for Solving Max-CSP.
AAAI/IAAI 1998: 347-352 |
| 17 |  | Claudette Cayrol,
Marie-Christine Lagasquie-Schiex,
Thomas Schiex:
Nonmonotonic Reasoning: From Complexity to Algorithms.
Ann. Math. Artif. Intell. 22(3-4): 207-236 (1998) |
| 16 |  | Claude Le Pape,
James M. Crawford,
Barry Fox,
Thomas Schiex:
Introduction to a Benchmark Column in CONSTRAINTS.
Constraints 3(2/3): 255-256 (1998) |
| 1997 |
| 15 |  | Christine Gaspin,
Thomas Schiex:
Genetic Algorithms for Genetic Mapping.
Artificial Evolution 1997: 145-156 |
| 14 |  | Simon de Givry,
Gérard Verfaillie,
Thomas Schiex:
Bounding the Optimum of Constraint Optimization Problems.
CP 1997: 405-419 |
| 13 |  | Thomas Schiex,
Christine Gaspin:
CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps.
ISMB 1997: 258-267 |
| 1996 |
| 12 |  | 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: 175-180 |
| 11 |  | Gérard Verfaillie,
Michel Lemaître,
Thomas Schiex:
Russian Doll Search for Solving Constraint Optimization Problems.
AAAI/IAAI, Vol. 1 1996: 181-187 |
| 10 |  | Thomas Schiex,
Jean-Charles Régin,
Christine Gaspin,
Gérard Verfaillie:
Lazy Arc Consistency.
AAAI/IAAI, Vol. 1 1996: 216-221 |
| 1995 |
| 9 |  | Thomas Schiex,
Hélène Fargier,
Gérard Verfaillie:
Valued Constraint Satisfaction Problems: Hard and Easy Problems.
IJCAI (1) 1995: 631-639 |
| 8 |  | 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: 111-150 |
| 7 |  | Hélène Fargier,
Jérôme Lang,
Roger Martin-Clouaire,
Thomas Schiex:
A constraint satisfaction framework for decision under uncertainty.
UAI 1995: 167-174 |
| 1994 |
| 6 |  | Gérard Verfaillie,
Thomas Schiex:
Solution Reuse in Dynamic Constraint Satisfaction Problems.
AAAI 1994: 307-312 |
| 5 |  | Thomas Schiex,
Gérard Verfaillie:
Stubborness: A Possible Enhancement for Backjumping and Nogood Recording.
ECAI 1994: 165-172 |
| 4 |  | Florence Dupin de Saint-Cyr,
Jérôme Lang,
Thomas Schiex:
Penalty Logic and its Link with Dempster-Shafer Theory.
UAI 1994: 204-211 |
| 1993 |
| 3 |  | Thomas Schiex,
Gérard Verfaillie:
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems.
ICTAI 1993: 48-55 |
| 2 |  | Michel Cayrol,
Olivier Palmade,
Thomas Schiex:
A Fixed Point Semantics for the ATMS.
J. Log. Comput. 3(2): 115-130 (1993) |
| 1992 |
| 1 |  | Thomas Schiex:
Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?".
UAI 1992: 268-275 |