Fiche membre Retour à l'annuaire
![](http://www.ls2n.fr/wp-content/plugins/annuaireLS2N/img/neutral_avatar.png)
Charlotte TRUCHET
ENSEIGNANT-CHERCHEUR
HDR
: Charlotte.Truchetatls2n.fr
Adresse :
Université de Nantes - faculté des Sciences et Techniques ( FST )Petit Port2 Chemin de la HoussinièreBP 92208
44322 Nantes Cedex 3
Batiment 11, étage 2, bureau 218
Publications référencées sur HAL
![](https://hal.archives-ouvertes.fr/img/tamponHal.png)
Revues internationales avec comité de lecture (ART_INT)
- [1] M. Vavrille, C. Truchet, C. Prud’homme. Solution sampling with random table constraints. In Constraints ; éd. Springer Verlag, 2022, vol. 27.https://hal.science/hal-03776149
- [2] P. Talbot, . Monfroy, C. Truchet. Modular Constraint Solver Cooperation via Abstract Interpretation. In Theory and Practice of Logic Programming ; éd. Cambridge University Press (CUP), 2020, vol. 20, num. 6.https://univ-angers.hal.science/hal-02945920
- [3] G. Lo Bianco, X. Lorca, C. Truchet, G. Pesant. Revisiting Counting Solutions for the Global Cardinality Constraint. In Journal of Artificial Intelligence Research ; éd. Association for the Advancement of Artificial Intelligence, 2019, vol. 66.https://hal.science/hal-02276554
- [4] D. Cortés-Borda, E. Wimmer, B. Gouilleux, E. Barré, N. Oger, L. Goulamaly, L. Peault, B. Charrier, C. Truchet, P. Giraudeau, M. Rodriguez-Zubiri, E. Le Grognec, F. Felpin. An Autonomous Self-Optimizing Flow Reactor for the Synthesis of Natural Product Carpanone. In Journal of Organic Chemistry ; éd. American Chemical Society, 2018, vol. 83, num. 23.https://hal.science/hal-01980485
- [5] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in parametric Interval Markov Chains using constraints. In Theoretical Computer Science ; éd. Elsevier, 2018, vol. 747.https://hal.science/hal-01917092
- [6] A. Bart, C. Truchet, E. Monfroy. A global constraint for over-approximation of real-time streams. In Constraints ; éd. Springer Verlag, 2017, vol. 22, num. 3.https://hal.science/hal-01555777
- [7] D. Cortes-Borda, K. Kutonova, C. Jamet, M. Trusova, F. Zammattio, C. Truchet, M. Rodriguez-Zubiri, F. Felpin. Optimizing the Heck-Matsuda Reaction in Flow with a Constraint-Adapted Direct Search Algorithm. In Organic Process Research and Development ; éd. American Chemical Society, 2016, vol. 20, num. 11.https://hal.science/hal-02141343
- [8] C. Truchet, A. Arbelaez, F. Richoux, P. Codognet. Estimating parallel runtimes for randomized algorithms in constraint solving. In Journal of Heuristics ; éd. Springer Verlag, 2015.https://hal.science/hal-01248168
- [9] M. Pelleau, C. Truchet, F. Benhamou. The octagon abstract domain for continuous constraints. In Constraints ; éd. Springer Verlag, 2014, vol. 19, num. 3.https://hal.science/hal-01147912
- [10] A. Arbelaez, P. Codognet, C. Truchet. Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT. In Theory and Practice of Logic Programming ; éd. Cambridge University Press (CUP), 2013, vol. 13, num. 4-5.https://hal.science/hal-00872982
- [11] C. Truchet, P. Codognet. Musical Constraint Satisfaction Problems Solved with Adaptive Search. In Soft Computing ; éd. Springer Verlag, 2004, vol. 8, num. 9.https://hal.science/hal-01161219
- [12] M. Chemillier, C. Truchet. Computation of words satisfying the "rhythmic oddity property". In Information Processing Letters ; éd. Elsevier, 2003, num. 86.https://hal.science/hal-01105853
- [13] A. Gontier, C. Truchet, C. Prud'Homme. Conflict analysis in CP solving: Explanation generation from constraint decomposition. In CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, septembre 2020, Louvain-la-Neuve, Belgique.https://hal.science/hal-03179630
- [14] G. Lo Bianco, X. Lorca, C. Truchet. Estimating the Number of Solutions of Cardinality Constraints through range and roots Decompositions. In CP 2019-25th International Conference on Principles and Practice of Constraint Programming, septembre 2019, Stamford, états-Unis.https://hal.science/hal-02276566
- [15] G. Ziat, A. Maréchal, M. Pelleau, A. Miné, C. Truchet. Combination of Boxes and Polyhedra Abstractions for Constraint Solving. In The 8th International Workshop on Numerical and Symbolic Abstract Domains - NSAD 2019, octobre 2019, Porto, Portugal.https://hal.science/hal-02457083
- [16] P. Talbot, D. Cachera, E. Monfroy, C. Truchet. Combining Constraint Languages via Abstract Interpretation. In 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), novembre 2019, Portland, France.https://univ-angers.hal.science/hal-02945596
- [17] G. Lo Bianco, C. Truchet, X. Lorca, V. Ravelomanana. A Probabilistic Model to Count Solutions on the alldifferent Constraint. In CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, août 2018, Lille, France.https://imt-mines-albi.hal.science/hal-01923767
- [18] G. Ziat, M. Pelleau, C. Truchet, A. Miné. Finding solutions by finding inconsistencies. In CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, août 2018, Lille, France.In John Hooker (éds.), . Springer International Publishing, 2018.https://hal.science/hal-01885769
- [19] G. Ziat, M. Pelleau, C. Truchet, A. Miné. Améliorer la propagation : l'Importance d'être Inconsistant. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.https://hal.science/hal-01735167
- [20] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin, Allemagne.https://hal.science/hal-01591036
- [21] A. Arbelaez, C. Truchet, B. O'Sullivan. Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. In ICTAI'16 - 28th {IEEE} International Conference on Tools with Artificial Intelligence, novembre 2016, San Jose, états-Unis.https://hal.science/hal-01980502
- [22] A. Bart, C. Truchet, E. Monfroy. Verifying a Real-Time Language with Constraints. In 27th IEEE International Conference on Tools with Artificial Intelligence, 2015, Vietri sul Mare, Italie.https://hal.science/hal-01234188
- [23] B. Belin, M. Christie, C. Truchet. Interactive Design of Sustainable Cities with a Distributed Local Search Solver. In 11th International Conference on Integration of and Techniques in Constraint Programming - CPAIOR 2014, mai 2014, Cork, Irlande.In Helmut Simonis (éds.), . Springer International Publishing, 2014.https://hal.science/hal-01147919
- [24] C. Truchet, F. Richoux, P. Codognet. Prediction of Parallel Speed-ups for Las Vegas Algorithms. In 42nd International Conference on Parallel Processing, 2013, Lyon, France.https://hal.science/hal-00870979
- [25] M. Pelleau, A. Miné, C. Truchet, F. Benhamou. Un solveur de contraintes basé sur les domaines abstraits. In 9èmes Journées Francophones de Programmation par Contraintes, juin 2013, Aix-en-Provence, France.https://inria.hal.science/hal-00925430
- [26] A. Arbelaez, C. Truchet, P. Codognet. Estimating the Runtime of Parallel SAT Local Search (Extended Abstract). In Metaheuristics International Conference (MIC 2013), août 2013, Singapore, Singapour.https://inria.hal.science/hal-00850975
- [27] J. Du Boisberranger, D. Gardy, X. Lorca, C. Truchet. When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent. In Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, états-Unis.In Markus Nebel and Wojciech Szpankowski (éds.), Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics, ANALCO 2013. , 2013.https://hal.science/hal-00867576
- [28] M. Pelleau, A. Miné, C. Truchet, F. Benhamou. A Constraint Solver based on Abstract Domains. In VMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, janvier 2013, Rome, Italie.In Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni (éds.), . Springer-Verlag, 2013.https://hal.science/hal-00785604
- [29] M. Pelleau, C. Truchet, F. Benhamou. Octagonal Domains for Continuous Constraints. In 17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italie.https://hal.science/hal-00785598
- [30] C. Truchet, M. Pelleau, F. Benhamou. Abstract Domains for Constraint Programming, with the Example of Octagons. In 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), septembre 2010, Timisoara, Roumanie.https://hal.science/hal-01147921
- [31] M. Pelleau, P. van Hentenryck, C. Truchet. Sonet Network Design Problems. In 6th International Workshop on Local Search Techniques in Constraint Satisfaction, septembre 2009, Lisbon, France.https://hal.science/hal-00482523
- [32] N. Beldiceanu, M. Carlsson, M. Sbihi, C. Truchet, S. Zampelli, M. Agren. Six Ways of Integrating Symmetries within Non-Overlapping Constraints. In 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), 2009, , états-Unis.In Springer-Verlag (éds.), 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09). , 2009.https://hal.science/hal-00481521
- [33] C. Truchet, M. Christie, J. Normand. A tabu search method for interval constraints. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, mai 2008, , France.https://hal.science/hal-00482527
- [34] N. Beldiceanu, M. Carlsson, E. Poder, R. Sadek, C. Truchet. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. In 13th International on Principles and Practice of Constraint Programming (CP'07), 2007, Brown, états-Unis.https://hal.science/hal-00481558
- [35] C. Truchet, G. Assayag, P. Codognet. OMClouds, petits nuages de contrainte dans OpenMusic. In Journées d'Informatique Musicale, juin 2003, Montbéliard, France.https://hal.science/hal-02994207
- [36] P. Codognet, D. Diaz, C. Truchet. The Adaptive Search Method for Constraint Solving and its application to musical CSPs. In International Workshop on Heuristics, 2002, Beijing, Chine.https://hal.science/hal-00668300
- [37] M. Chemillier, C. Truchet, R. Louis-Martin. Analyse musicale et contraintes. In Journées d'Informatique Musicale, mai 2002, Marseille, France.https://hal.science/hal-02992832
- [38] G. Lo Bianco, X. Lorca, C. Truchet. Estimer le nombre de solutions des contraintes de cardinalité grâce à leur décomposition range et roots. In JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, juin 2019, Albi, France.https://imt-mines-albi.hal.science/hal-02160312
- [39] P. Talbot, D. Cachera, E. Monfroy, C. Truchet. Octogones entiers pour le problème RCPSP. In JFPC 2019 - Journées Francophones de Programmation par Contraintes, juin 2019, Albi, France.https://hal.science/hal-02157804
- [40] A. Bart, B. Delahaye, E. Monfroy, C. Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.https://hal.science/hal-01555755
- [41] A. Bart, C. Truchet, E. Monfroy. Contraintes sur des flux appliquées a la vérification de programmes audio. In Onzièmes Journées Francophones de Programmation par Contraintes, juin 2016, Bordeaux, France.https://hal.science/hal-01234179
- [42] B. Belin, M. Christie, C. Truchet. Interactive Urban Planning with Local Search Techniques: the SUSTAINS Project. In CompSust'12 - 3rd International Conference on Computational Sustainability, juillet 2012, Copenhagen, Danemark.https://hal.science/hal-00872981
- [43] C. Truchet, D. Noguès, N. Jussien. Un modèle markovien pour GSAT et WalkSAT résultats préliminaires. In JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, juin 2008, Nantes, France.In Gilles Trombettoni (éds.), . , 2008.https://inria.hal.science/inria-00292691
- [44] M. Christie, J. Normand, C. Truchet. Calcul d'approximations intérieures pour la résolution de Max-NCSP. In Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France.https://inria.hal.science/inria-00085801
- [45] C. Truchet, C. Agon, G. Assayag, P. Codognet. CAO et contraintes. In Journées d'Informatique Musicale, 2001, NA, France.https://hal.science/hal-01105725
- [46] C. Truchet, C. Agon, G. Assayag. Recherche adaptative et contraintes musicales. In JFPLC, 2001, NA, France.https://hal.science/hal-01105724
- [47] C. Truchet, C. Agon, P. Codognet. A Constraint Programming System for Music Composition, Preliminary Results. In CP 01, Workshop on Musical Constraints, 2001, NA, France.https://hal.science/hal-01105726
- [48] C. Truchet, G. Assayag, P. Codognet. Visual and Adaptive Constraint Programming in Music. In ICMC 01, 2001, NA, France.https://hal.science/hal-01105723
- [49] M. Chemillier, C. Truchet. Two Musical CSPs. In CP 01 Workshop on Musical Constraints, 2001, NA, France.https://hal.science/hal-01161429
- [50] C. Truchet. Revue d'Intelligence Artificielle. 2014 France.https://hal.science/hal-01147922
- [51] C. Truchet, G. Assayag. Constraint Programming in Music. 05-2011 France.https://hal.science/hal-00872976
- [52] C. Truchet, G. Bloch. Constraints for an Unfolding Time. In Constraint Programming in Music. 05-2011 https://hal.science/hal-00872977
- [53] C. Truchet. OMClouds, a Library for Musical Constraints. In Constraint Programming in Music. 05-2011 https://hal.science/hal-00872978
- [54] C. Truchet. Some Constraint Satisfaction Problems in Computer Assisted Composition. In Perspectives of Mathematical and Computer-Aided Music Theory,. 2003 https://hal.science/hal-01105854
- [55] M. Vavrille, E. Meunier, C. Truchet, C. Prud'Homme. Linear Time Computation of Variation Degree and Commonalities on Feature Diagrams. Rapport technique, 2023 ; Nantes Université, École Centrale Nantes, IMT Atlantique, CNRS, LS2N, UMR 6004, F-44000 Nantes, France.https://hal.science/hal-03970237
- [56] C. Barillot, I. Fijalkow, I. Queinnec, F. Theoleyre, H. Touzet, M. Beaudouin-Lafon, M. Cani, F. Chaumette, G. Conreur, V. Cortier, C. Gavoille, G. Gogniat, J. Gossa, A. Herzig, J. Krivine, P. Lamarre, F. Lamnabhi-Lagarrigue, A. Letournel, L. Seinturier, I. Tellier, S. Torres, C. Truchet, A. Tsoukias, M. Verleysen. Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I). Rapport technique, 2018 ; CNRS.https://hal.science/hal-01956087
- [57] J. Du Boisberranger, D. Gardy, C. Truchet, X. Lorca. A Probabilistic Study of Bound Consistency for the Alldifferent Constraint. Rapport technique, 2011 ; .https://hal.science/hal-00588888
- [58] N. Beldiceanu, M. Agren, M. Carlsson, M. Sbihi, C. Truchet, S. Zampelli. Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-01. https://hal.science/hal-00481532
- [59] N. Beldiceanu, E. Poder, R. Sadek, M. Carlsson, C. Truchet. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08.. https://hal.science/hal-00481565