Suivre
Charlotte Truchet
Charlotte Truchet
LS2N, UMR 6004, Université de Nantes, France
Adresse e-mail validée de univ-nantes.fr - Page d'accueil
Titre
Citée par
Citée par
Année
An autonomous self-optimizing flow reactor for the synthesis of natural product carpanone
D Cortés-Borda, E Wimmer, B Gouilleux, E Barré, N Oger, L Goulamaly, ...
The Journal of organic chemistry 83 (23), 14286-14299, 2018
842018
Optimizing the Heck–Matsuda reaction in flow with a constraint-adapted direct search algorithm
D Cortés-Borda, KV Kutonova, C Jamet, ME Trusova, F Zammattio, ...
Organic Process Research & Development 20 (11), 1979-1987, 2016
722016
Computation of words satisfying the “rhythmic oddity property”(after Simha Arom's works)
M Chemillier, C Truchet
Information Processing Letters 86 (5), 255-261, 2003
662003
A constraint solver based on abstract domains
M Pelleau, A Miné, C Truchet, F Benhamou
Verification, Model Checking, and Abstract Interpretation: 14th …, 2013
602013
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects
N Beldiceanu, M Carlsson, E Poder, R Sadek, C Truchet
Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007
592007
Musical constraint satisfaction problems solved with adaptive search
C Truchet, P Codognet
Soft Computing 8 (9), 633-640, 2004
362004
Prediction of parallel speed-ups for las vegas algorithms
C Truchet, F Richoux, P Codognet
2013 42nd International Conference on Parallel Processing, 160-169, 2013
352013
Visual and adaptive constraint programming in music
C Truchet, G Assayag, P Codognet
ICMC, 2001
282001
Graph invariants as necessary conditions for global constraints
N Beldiceanu, M Carlsson, JX Rampon, C Truchet
Principles and Practice of Constraint Programming-CP 2005: 11th …, 2005
262005
OMClouds, a heuristic solver for musical constraints
C Truchet, G Assayag, P Codognet
MIC2003: The Fifth Metaheuristics International Conference, 2003
252003
An autonomous self-optimizing flow machine for the synthesis of pyridine–oxazoline (PyOX) ligands
E Wimmer, D Cortés-Borda, S Brochard, E Barré, C Truchet, FX Felpin
Reaction Chemistry & Engineering 4 (9), 1608-1615, 2019
222019
Contraintes, recherche locale et composition assistée par ordinateur
C Truchet
Unpublished doctoral dissertation, Université Paris, 2004
192004
Reachability in parametric interval Markov chains using constraints
A Bart, B Delahaye, P Fournier, D Lime, E Monfroy, C Truchet
Theoretical Computer Science 747, 48-74, 2018
182018
Estimating parallel runtimes for randomized algorithms in constraint solving
C Truchet, A Arbelaez, F Richoux, P Codognet
Journal of Heuristics 22, 613-648, 2016
172016
Constraint Programming in Music
C Truchet, G Assayag
ISTE-Wiley, 2011
172011
Six ways of integrating symmetries within non-overlapping constraints
M Ågren, N Beldiceanu, M Carlsson, M Sbihi, C Truchet, S Zampelli
Integration of AI and OR Techniques in Constraint Programming for …, 2009
162009
When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent
J Boisberranger, D Gardy, X Lorca, C Truchet
2013 Proceedings of the Tenth Workshop on Analytic Algorithmics and …, 2013
152013
Two musical csps
M Chemillier, C Truchet
CP 01 Workshop on Musical Constraints, 1-1, 2001
152001
The octagon abstract domain for continuous constraints
M Pelleau, C Truchet, F Benhamou
Constraints 19, 309-337, 2014
142014
Using sequential runtime distributions for the parallel speedup prediction of SAT local search
A Arbelaez, C Truchet, P Codognet
Theory and Practice of Logic Programming 13 (4-5), 625-639, 2013
142013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20