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
652003
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
602007
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
452016
A constraint solver based on abstract domains
M Pelleau, A Miné, C Truchet, F Benhamou
International Workshop on Verification, Model Checking, and Abstract …, 2013
452013
Musical constraint satisfaction problems solved with adaptive search
C Truchet, P Codognet
Soft Computing 8 (9), 633-640, 2004
332004
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
292013
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
272018
Visual and adaptive constraint programming in music
C Truchet, G Assayag, P Codognet
ICMC, 2001
272001
OMClouds, a heuristic solver for musical constraints
C Truchet, G Assayag, P Codognet
MIC2003: The Fifth Metaheuristics International Conference, 2003
232003
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
222005
Constraint Programming in Music
C Truchet, G Assayag
152011
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
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
Octagonal domains for continuous constraints
M Pelleau, C Truchet, F Benhamou
International Conference on Principles and Practice of Constraint …, 2011
122011
The octagon abstract domain for continuous constraints
M Pelleau, C Truchet, F Benhamou
Constraints 19 (3), 309-337, 2014
112014
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
A constraint programming system for music composition, preliminary results
C Truchet, C Agon, P Codognet
IN SEVENTH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT …, 2001
102001
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
92018
The system can't perform the operation now. Try again later.
Articles 1–20