Seguir
Charlotte Truchet
Charlotte Truchet
LS2N, UMR 6004, Université de Nantes, France
Dirección de correo verificada de univ-nantes.fr - Página principal
Título
Citado por
Citado por
Año
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
1052018
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
852016
A constraint solver based on abstract domains
M Pelleau, A Miné, C Truchet, F Benhamou
International Workshop on Verification, Model Checking, and Abstract …, 2013
642013
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
642003
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
International Conference on Principles and Practice of Constraint …, 2007
612007
Musical constraint satisfaction problems solved with adaptive search
C Truchet, P Codognet
Soft Computing 8 (9), 633-640, 2004
372004
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
362013
Graph invariants as necessary conditions for global constraints
N Beldiceanu, M Carlsson, JX Rampon, C Truchet
International Conference on Principles and Practice of Constraint …, 2005
262005
Visual and adaptive constraint programming in music
C Truchet, G Assayag, P Codognet
ICMC, 2001
262001
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
232019
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
202018
Estimating parallel runtimes for randomized algorithms in constraint solving
C Truchet, A Arbelaez, F Richoux, P Codognet
Journal of Heuristics 22, 613-648, 2016
192016
Constraint Programming in Music
C Truchet, G Assayag
ISTE-Wiley, 2011
182011
Contraintes, recherche locale et composition assistée par ordinateur
C Truchet
Unpublished doctoral dissertation, Université Paris, 2004
182004
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
Two musical csps
M Chemillier, C Truchet
CP 01 Workshop on Musical Constraints, 1-1, 2001
162001
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
132013
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
132013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20