2008 |
21 | | Martin C. Cooper,
Simon de Givry,
Martí Sánchez,
Thomas Schiex,
Matthias Zytnicki:
Virtual Arc Consistency for Weighted CSP.
AAAI 2008: 253-258 |
20 | EE | Javier Larrosa,
Federico Heras,
Simon de Givry:
A logical approach to efficient Max-SAT solving.
Artif. Intell. 172(2-3): 204-233 (2008) |
19 | 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) |
18 | 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 |
17 | | Martí Sánchez,
Simon de Givry,
Thomas Schiex:
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques.
CCIA 2007: 29-37 |
16 | EE | Martin C. Cooper,
Simon de Givry,
Thomas Schiex:
Optimal Soft Arc Consistency.
IJCAI 2007: 68-73 |
15 | 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) |
2006 |
14 | | Simon de Givry,
Thomas Schiex,
Gérard Verfaillie:
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP.
AAAI 2006 |
13 | 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) |
12 | EE | Javier Larrosa,
Federico Heras,
Simon de Givry:
A Logical Approach to Efficient Max-SAT solving
CoRR abs/cs/0611025: (2006) |
11 | EE | Simon de Givry,
Laurent Jeannin:
A unified framework for partial and hybrid search methods in constraint programming.
Computers & OR 33(10): 2805-2833 (2006) |
2005 |
10 | EE | Simon de Givry,
Federico Heras,
Matthias Zytnicki,
Javier Larrosa:
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs.
IJCAI 2005: 84-89 |
9 | 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) |
2003 |
8 | EE | Simon de Givry,
Javier Larrosa,
Pedro Meseguer,
Thomas Schiex:
Solving Max-SAT as Weighted CSP.
CP 2003: 363-376 |
7 | | Laurent Jeannin,
Simon de Givry:
Optimisation des évolutions d'un réseau télécoms.
JFPLC 2003: 183-186 |
6 | EE | Simon de Givry,
Laurent Jeannin:
Optimisation des évolutions d'un réseau télécom.
Technique et Science Informatiques 22(1): 183-186 (2003) |
2001 |
5 | EE | Juliette Mattioli,
Nicolas Museux,
Jean Jourdan,
Pierre Savéant,
Simon de Givry:
A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture.
CP 2001: 701-715 |
1999 |
4 | | Simon de Givry,
Pierre Savéant,
Jean Jourdan:
Optimisation combinatoire en temps limité: Depth First Branch and Bound adaptaif.
JFPLC 1999: 161-178 |
3 | | Bertrand Cabon,
Simon de Givry,
Lionel Lobjois,
Thomas Schiex,
Joost P. Warners:
Radio Link Frequency Assignment.
Constraints 4(1): 79-89 (1999) |
1998 |
2 | EE | Bertrand Cabon,
Simon de Givry,
Gérard Verfaillie:
Anytime Lower Bounds for Constraint Violation Minimization Problems.
CP 1998: 117-131 |
1997 |
1 | | Simon de Givry,
Gérard Verfaillie,
Thomas Schiex:
Bounding the Optimum of Constraint Optimization Problems.
CP 1997: 405-419 |