引用次数
引用: 864
H-指数: 16
I10-指数 : 24
出版物: 92
Avoiding saturation in sound processes with constraint programming
Yann Orlarey Charlotte Truchet , Julie Laniau , Yann Orlarey
Constraint Programming meets Verification Workshop at CP 14
1
2014
Résolution de contraintes mixtes
Eric MONFROY , Charlotte TRUCHET
TASC: Theory, Algorithms and Systems for Constraints
Atlantique IMT , Samir LOUDNI , Charlotte TRUCHET , Nicolas BELDICEANU
Bulletin N o 111 36 ( 1) 27 -27
2020
Programmation par contraintes
Charlotte TRUCHET
Revue d'intelligence artificielle 28 ( 5)
2014
Habilitation à Diriger des Recherches
Charlotte TRUCHET
Calcul d'approximations intérieures pour la résolution de Max-NCSP
Charlotte Truchet , Marc Christie , Jean-Marie Normand
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06)
2006
Constraint programming in music
Charlotte Truchet , Gérard Assayag
ISTE , Wiley 256
14
2011
Recherche adaptative et contraintes musicales.
Charlotte Truchet , Carlos Agón , Gérard Assayag
JFPLC 91 -108
2
2001
Visual and Adaptive Constraint Programming in Music
Charlotte Truchet , Philippe Codognet , Gérard Assayag
international computer music conference 2001
14
2001
Prediction of Parallel Speed-Ups for Las Vegas Algorithms
Florian Richoux , Charlotte Truchet , Philippe Codognet
international conference on parallel processing 160 -169
16
2013
Contraintes sur des flux appliquées a la vérification de programmes audio
Eric Monfroy , Charlotte Truchet , Anicet Bart
Onzièmes Journées Francophones de Programmation par Contraintes
2016
Un solveur de contraintes basé sur les domaines abstraits
Charlotte Truchet , Antoine Miné , Frédéric Benhamou , Marie Pelleau
9èmes Journées Francophones de Programmation par Contraintes 259 -268
2013
When is it worthwhile to propagate a constraint?: a probabilistic analysis of A ll D ifferent
Jérémie du Boisberranger , Danièle Gardy , Xavier Lorca , Charlotte Truchet
analytic algorithmics and combinatorics 80 -90
1
2013
CAO et contraintes
Charlotte Truchet , Carlos Agon , Philippe Codognet , Gérard Assayag
Journées d'Informatique Musicale
2001
Interactive Urban Planning with Local Search Techniques: the SUSTAINS Project
Charlotte Truchet , Marc Christie , Bruno Belin
CompSust'12 - 3rd International Conference on Computational Sustainability
2012
Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-01
Nicolas Beldiceanu , Charlotte Truchet , Stéphane Zampelli , Magnus Agren
1
2009
A Probabilistic Study of Bound Consistency for the Alldifferent Constraint
Xavier Lorca , Jérémie Du Boisberranger , Charlotte Truchet , Danièle Gardy
2011
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08.
Nicolas Beldiceanu , Charlotte Truchet , Rida Sadek , Mats Carlsson
3
2007
The Adaptive Search Method for Constraint Solving and its application to musical CSPs
Charlotte Truchet , Daniel Diaz , Philippe Codognet
International Workshop on Heuristics
5
2002
Two Musical CSPs
Charlotte Truchet , Marc Chemillier
CP 01 Workshop on Musical Constraints 1 -1
10
2001