Charlotte Truchet
Charlotte Truchet
LS2N, UMR 6004, Université de Nantes, France
Bestätigte E-Mail-Adresse bei univ-nantes.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
612003
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
542013
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
532016
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
492018
Musical constraint satisfaction problems solved with adaptive search
C Truchet, P Codognet
Soft Computing 8 (9), 633-640, 2004
352004
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
342013
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
International Conference on Principles and Practice of Constraint …, 2005
252005
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
172011
Six ways of integrating symmetries within non-overlapping constraints
M Ågren, N Beldiceanu, M Carlsson, M Sbihi, C Truchet, S Zampelli
International Conference on Integration of Constraint Programming …, 2009
152009
Contraintes, recherche locale et composition assistée par ordinateur
C Truchet
Unpublished doctoral dissertation, Université Paris, 2004
152004
Two musical csps
M Chemillier, C Truchet
CP 01 Workshop on Musical Constraints, 1-1, 2001
142001
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
132019
Estimating parallel runtimes for randomized algorithms in constraint solving
C Truchet, A Arbelaez, F Richoux, P Codognet
Journal of Heuristics 22 (4), 613-648, 2016
132016
The octagon abstract domain for continuous constraints
M Pelleau, C Truchet, F Benhamou
Constraints 19 (3), 309-337, 2014
132014
Octagonal domains for continuous constraints
M Pelleau, C Truchet, F Benhamou
International Conference on Principles and Practice of Constraint …, 2011
132011
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20