Charlotte Truchet
Charlotte Truchet
LS2N, UMR 6004, Université de Nantes, France
Verified email at - Homepage
Cited by
Cited by
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
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
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
A constraint solver based on abstract domains
M Pelleau, A Miné, C Truchet, F Benhamou
International Workshop on Verification, Model Checking, and Abstract …, 2013
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
Musical constraint satisfaction problems solved with adaptive search
C Truchet, P Codognet
Soft Computing 8 (9), 633-640, 2004
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
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
Visual and adaptive constraint programming in music
C Truchet, G Assayag, P Codognet
ICMC, 2001
OMClouds, a heuristic solver for musical constraints
C Truchet, G Assayag, P Codognet
MIC2003: The Fifth Metaheuristics International Conference, 2003
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
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
Estimating parallel runtimes for randomized algorithms in constraint solving
C Truchet, A Arbelaez, F Richoux, P Codognet
Journal of Heuristics 22, 613-648, 2016
Constraint Programming in Music
C Truchet, G Assayag
ISTE-Wiley, 2011
Contraintes, recherche locale et composition assistée par ordinateur
C Truchet
Unpublished doctoral dissertation, Université Paris, 2004
Two musical csps
M Chemillier, C Truchet
CP 01 Workshop on Musical Constraints, 1-1, 2001
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
The octagon abstract domain for continuous constraints
M Pelleau, C Truchet, F Benhamou
Constraints 19, 309-337, 2014
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
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
The system can't perform the operation now. Try again later.
Articles 1–20