2008 |
49 | | Martin C. Cooper,
Simon de Givry,
Martí Sánchez,
Thomas Schiex,
Matthias Zytnicki:
Virtual Arc Consistency for Weighted CSP.
AAAI 2008: 253-258 |
48 | EE | 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 | EE | Matthias Zytnicki,
Christine Gaspin,
Thomas Schiex:
DARN! A Weighted Constraint Solver for RNA Motif Localization.
Constraints 13(1-2): 91-109 (2008) |
46 | EE | 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 | EE | Martin C. Cooper,
Simon de Givry,
Thomas Schiex:
Optimal Soft Arc Consistency.
IJCAI 2007: 68-73 |
43 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
38 | EE | 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 | EE | Matthias Zytnicki,
Christine Gaspin,
Thomas Schiex:
A new local consistency for weighted CSP dedicated to long domains.
SAC 2006: 394-398 |
35 | EE | Cédric Pralet,
Thomas Schiex,
Gérard Verfaillie:
From Influence Diagrams to Multi-operator Cluster DAGs.
UAI 2006 |
34 | EE | 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 | EE | Sylvain Foissac,
Thomas Schiex:
Integrating alternative splicing detection into gene prediction.
BMC Bioinformatics 6: 25 (2005) |
32 | EE | 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 | EE | Martin C. Cooper,
Thomas Schiex:
Arc consistency for soft constraints.
Artif. Intell. 154(1-2): 199-227 (2004) |
30 | EE | Javier Larrosa,
Thomas Schiex:
Solving weighted CSP by maintaining arc consistency.
Artif. Intell. 159(1-2): 1-26 (2004) |
2003 |
29 | EE | 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 | EE | Thomas Schiex,
Patrick Chabrier,
Martin Bouchez,
Denis Milan:
Boosting EM for Radiation Hybrid and Genetic Mapping.
WABI 2001: 41-51 |
24 | EE | Martin C. Cooper,
Thomas Schiex:
Arc consistency for soft constraints
CoRR cs.AI/0111038: (2001) |
2000 |
23 | EE | Thomas Schiex:
Arc Consistency for Soft Constraints.
CP 2000: 411-424 |
22 | EE | Thomas Schiex,
Annick Moisan,
Pierre Rouzé:
EUGÈNE: An Eukaryotic Gene Finder That Combines Several Sources of Evidence.
JOBIM 2000: 111-125 |
1999 |
21 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Thomas Schiex:
Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?".
UAI 1992: 268-275 |