Simon de Givry
Simon de Givry
Chercheur INRAE MIAT, HdR
Bestätigte E-Mail-Adresse bei inrae.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Carhta Gene: multipopulation integrated genetic and radiation hybrid mapping
S De Givry, M Bouchez, P Chabrier, D Milan, T Schiex
Bioinformatics 21 (8), 1703-1704, 2005
4232005
Radio link frequency assignment
B Cabon, S De Givry, L Lobjois, T Schiex, JP Warners
Constraints 4 (1), 79-89, 1999
2821999
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs
S De Givry, F Heras, M Zytnicki, J Larrosa
IJCAI 5, 84-89, 2005
2212005
Soft arc consistency revisited
MC Cooper, S De Givry, M Sánchez, T Schiex, M Zytnicki, T Werner
Artificial Intelligence 174 (7-8), 449-478, 2010
1642010
Solving Max-SAT as weighted CSP
S De Givry, J Larrosa, P Meseguer, T Schiex
International conference on principles and practice of constraint …, 2003
1202003
Gene regulatory network reconstruction using Bayesian networks, the Dantzig Selector, the Lasso and their meta-analysis
M Vignes, J Vandel, D Allouche, N Ramadan-Alban, C Cierco-Ayrolles, ...
PloS one 6 (12), e29165, 2011
1192011
A logical approach to efficient Max-SAT solving
J Larrosa, F Heras, S De Givry
Artificial Intelligence 172 (2-3), 204-233, 2008
1192008
Exploiting tree decomposition and soft local consistency in weighted CSP
S De Givry, T Schiex, G Verfaillie
Twenty-first National Conference on Artificial Intelligence-AAAI 2006 1, 1115 p., 2006
1032006
Optimal soft arc consistency
M Cooper, S De Givry, T Schiex
20th International Joint Conference on Artificial Intelligence-IJCAI 2007, 6, 2007
982007
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques
M Sanchez, S De Givry, T Schiex
Constraints 13 (1-2), 130-154, 2008
852008
Virtual Arc Consistency for Weighted CSP.
MC Cooper, S De Givry, M Sánchez-Fibla, T Schiex, M Zytnicki
AAAI, 253-258, 2008
822008
Computational protein design as an optimization problem
D Allouche, I André, S Barbe, J Davies, S de Givry, G Katsirelos, ...
Artificial Intelligence 212, 59-79, 2014
712014
A new framework for computational protein design through cost function network optimization
S Traoré, D Allouche, I André, S De Givry, G Katsirelos, T Schiex, S Barbe
Bioinformatics 29 (17), 2129-2136, 2013
652013
Guaranteed discrete energy optimization on large protein design problems
D Simoncini, D Allouche, S de Givry, C Delmas, S Barbe, T Schiex
Journal of chemical theory and computation 11 (12), 5980-5989, 2015
592015
Multi-language evaluation of exact solvers in graphical model discrete optimization
B Hurley, B O’sullivan, D Allouche, G Katsirelos, T Schiex, M Zytnicki, ...
Constraints 21 (3), 413-434, 2016
572016
Bounding the optimum of constraint optimization problems
S de Givry, G Verfaillie, T Schiex
International Conference on Principles and Practice of Constraint …, 1997
461997
Anytime hybrid best-first search with tree decomposition for weighted CSP
D Allouche, S De Givry, G Katsirelos, T Schiex, M Zytnicki
International Conference on Principles and Practice of Constraint …, 2015
422015
Searching RNA motifs and their intermolecular contacts with constraint networks
P Thebault, S De Givry, T Schiex, C Gaspin
Bioinformatics 22 (17), 2074-2080, 2006
392006
A comparative genome approach to marker ordering
T Faraut, S De Givry, P Chabrier, T Derrien, F Galibert, C Hitte, T Schiex
Bioinformatics 23 (2), e50-e56, 2007
362007
Russian doll search with tree decomposition
M Sanchez, D Allouche, S De Givry, T Schiex
Twenty-First International Joint Conference on Artificial Intelligence, 2009
352009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20