Charlotte Truchet
Charlotte Truchet
LS2N, UMR 6004, Université de Nantes, France
Verified email at univ-nantes.fr - Homepage
Title
Cited by
Cited by
Year
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
622003
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
592007
A constraint solver based on abstract domains
M Pelleau, A Miné, C Truchet, F Benhamou
International Workshop on Verification, Model Checking, and Abstract …, 2013
512013
Optimizing the Heck–Matsuda reaction in flow with a constraint-adapted direct search algorithm
D Cortes-Borda, KV Kutonova, C Jamet, ME Trusova, F Zammattio, ...
Organic Process Research & Development 20 (11), 1979-1987, 2016
482016
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
392018
Musical constraint satisfaction problems solved with adaptive search
C Truchet, P Codognet
Soft Computing 8 (9), 633-640, 2004
342004
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
332013
Visual and adaptive constraint programming in music
C Truchet, G Assayag, P Codognet
ICMC, 2001
272001
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
232005
OMClouds, a heuristic solver for musical constraints
C Truchet, G Assayag, P Codognet
MIC2003: The Fifth Metaheuristics International Conference, 2003
232003
Constraint Programming in Music
C Truchet, G Assayag
ISTE-Wiley, 2011
162011
Six ways of integrating symmetries within non-overlapping constraints
M Ågren, N Beldiceanu, M Carlsson, M Sbihi, C Truchet, S Zampelli
International Conference on AI and OR Techniques in Constriant Programming …, 2009
152009
Contraintes, recherche locale et composition assistée par ordinateur
C Truchet
Unpublished doctoral dissertation, Université Paris, 2004
142004
Two Musical CSPs
M Chemillier, C Truchet
CP 01 Workshop on Musical Constraints, 1-1, 2001
142001
The adaptive search method for constraint solving and its application to musical csps
P Codognet, D Diaz, C Truchet
Proceedings of the 1st International Workshop on Heuristics, 2002
132002
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
122018
The octagon abstract domain for continuous constraints
M Pelleau, C Truchet, F Benhamou
Constraints 19 (3), 309-337, 2014
122014
Octagonal domains for continuous constraints
M Pelleau, C Truchet, F Benhamou
International Conference on Principles and Practice of Constraint …, 2011
122011
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
112013
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
102019
The system can't perform the operation now. Try again later.
Articles 1–20