Charlotte Truchet

Publications

Article dans une revue (14)

Informatique théâtrale Rémi Ronfard,Charlotte Truchet,Serge Abiteboul Binaire, 2025, pp.1-12 Article dans une revue hal-05328671v1
Régie, captation, mise en scène… Quand l’informatique s’invite au théâtre Rémi Ronfard,Charlotte Truchet,Serge Abiteboul The Conversation France, 2025 Article dans une revue hal-04956688v1
Solution sampling with random table constraints Mathieu Vavrille,Charlotte Truchet,Charles Prud’homme Constraints, 2022, 27, pp.381-413. ⟨10.1007/s10601-022-09329-w⟩ Article dans une revue hal-03776149v1
Modular Constraint Solver Cooperation via Abstract Interpretation Pierre Talbot,Éric Monfroy,Charlotte Truchet Theory and Practice of Logic Programming, 2020, 20 (6), pp.848-863. ⟨10.1017/S1471068420000162⟩ Article dans une revue hal-02945920v1
Revisiting Counting Solutions for the Global Cardinality Constraint Giovanni Lo Bianco,Xavier Lorca,Charlotte Truchet,Gilles Pesant Journal of Artificial Intelligence Research, 2019, 66, pp.411-441. ⟨10.1613/jair.1.11325⟩ Article dans une revue hal-02276554v1
Reachability in parametric Interval Markov Chains using constraints Anicet Bart,Benoît Delahaye,Didier Lime,Eric Monfroy,Charlotte Truchet Theoretical Computer Science, 2018, 747, pp.48-74. ⟨10.1016/j.tcs.2018.06.016⟩ Article dans une revue hal-01917092v1
An Autonomous Self-Optimizing Flow Reactor for the Synthesis of Natural Product Carpanone Daniel Cortés-Borda,Eric Wimmer,Boris Gouilleux,Elvina Barré,Nicolas Ogeret al. Journal of Organic Chemistry, 2018, 83 (23), pp.14286-14299. ⟨10.1021/acs.joc.8b01821⟩ Article dans une revue hal-01980485v1
A global constraint for over-approximation of real-time streams Anicet Bart,Charlotte Truchet,Eric Monfroy Constraints, 2017, 22 (3), pp.463 - 490. ⟨10.1007/s10601-017-9268-z⟩ Article dans une revue hal-01555777v1
Optimizing the Heck-Matsuda Reaction in Flow with a Constraint-Adapted Direct Search Algorithm Daniel Cortés-Borda,Ksenia V. Kutonova,Corentin Jamet,Marina E. Trusova,Francoise Zammattioet al. Organic Process Research and Development, 2016, 20 (11), pp.1979-1987. ⟨10.1021/acs.oprd.6b00310⟩ Article dans une revue hal-02141343v1
Estimating parallel runtimes for randomized algorithms in constraint solving Charlotte Truchet,Alejandro Arbelaez,Florian Richoux,Philippe Codognet Journal of Heuristics, 2015, pp.1-36. ⟨10.1007/s10732-015-9292-3⟩ Article dans une revue hal-01248168v1
The octagon abstract domain for continuous constraints Marie Pelleau,Charlotte Truchet,Frédéric Benhamou Constraints, 2014, 19 (3), pp.309--337. ⟨10.1007/s10601-014-9162-x⟩ Article dans une revue hal-01147912v1
Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT Alejandro Arbelaez,Philippe Codognet,Charlotte Truchet Theory and Practice of Logic Programming, 2013, 13 (4-5), pp.625--639. ⟨10.1017/S1471068413000392⟩ Article dans une revue hal-00872982v1
Musical Constraint Satisfaction Problems Solved with Adaptive Search Charlotte Truchet,Philippe Codognet Soft Computing, 2004, 8 (9), pp.633-640 Article dans une revue hal-01161219v1
Computation of words satisfying the "rhythmic oddity property" Marc Chemillier,Charlotte Truchet Information Processing Letters, 2003, 86, pp.255-261 Article dans une revue hal-01105853v1

Communication dans un congrès (40)

Sampling Frequent and Diversified Patterns Through Compression François Camelin,Samir Loudni,Gilles Pesant,Charlotte Truchet SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Italy. pp.1053-1054, ⟨10.1145/3672608.3707872⟩ Communication dans un congrès hal-05363617v1
Sampling Frequent and Diverse Patterns Through Compression François Camelin,Samir Loudni,Gilles Pesant,Charlotte Truchet 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Jun 2025, Sydney, NSW, Australia. pp.189-200, ⟨10.1007/978-981-96-8170-9_15⟩ Communication dans un congrès hal-05363539v1
Échantillonnage d'ensemble de motifs diversifiés par compression locale François Camelin,Samir Loudni,Gilles Pesant,Charlotte Truchet 24ème conférence francophone sur l'Extraction et la Gestion des Connaissances EGC 2024, Jan 2024, Dijon, France Communication dans un congrès hal-04719113v1
Combination of Boxes and Polyhedra Abstractions for Constraint Solving Ghiles Ziat,Alexandre Maréchal,Marie Pelleau,Antoine Miné,Charlotte Truchet The 8th International Workshop on Numerical and Symbolic Abstract Domains - NSAD 2019, Oct 2019, Porto, Portugal. pp.119--135, ⟨10.1007/978-3-030-54997-8_8⟩ Communication dans un congrès hal-02457083v1
Conflict analysis in CP solving: Explanation generation from constraint decomposition Arthur Gontier,Charlotte Truchet,Charles Prud'Homme CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, Sep 2020, Louvain-la-Neuve, Belgium Communication dans un congrès hal-03179630v1
Octogones entiers pour le problème RCPSP Pierre Talbot,David Cachera,Eric Monfroy,Charlotte Truchet JFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10 Communication dans un congrès hal-02157804v1
Combining Constraint Languages via Abstract Interpretation Pierre Talbot,David Cachera,Eric Monfroy,Charlotte Truchet 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, France. pp.50-58, ⟨10.1109/ICTAI.2019.00016⟩ Communication dans un congrès hal-02945596v1
Estimating the Number of Solutions of Cardinality Constraints through range and roots Decompositions Giovanni Lo Bianco,Xavier Lorca,Charlotte Truchet CP 2019-25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, United States. p. 317-332, ⟨10.1007/978-3-030-30048-7_19⟩ Communication dans un congrès hal-02276566v1
Estimer le nombre de solutions des contraintes de cardinalité grâce à leur décomposition range et roots Giovanni Lo Bianco,Xavier Lorca,Charlotte Truchet JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 133-141 Communication dans un congrès hal-02160312v1
A Probabilistic Model to Count Solutions on the alldifferent Constraint Giovanni Lo Bianco,Charlotte Truchet,Xavier Lorca,Vlady Ravelomanana CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, Aug 2018, Lille, France. 9 p Communication dans un congrès hal-01923767v1
Finding solutions by finding inconsistencies Ghiles Ziat,Marie Pelleau,Charlotte Truchet,Antoine Miné CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.420--435, ⟨10.1007/978-3-319-98334-9_28⟩ Communication dans un congrès hal-01885769v1
Améliorer la propagation : l'Importance d'être Inconsistant Ghiles Ziat,Marie Pelleau,Charlotte Truchet,Antoine Miné Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France Communication dans un congrès hal-01735167v1
Reachability in Parametric Interval Markov Chains Using Constraints Anicet Bart,Benoit Delahaye,Didier Lime,Eric Monfroy,Charlotte Truchet 14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527 - 189, ⟨10.1007/978-3-319-66335-7_11⟩ Communication dans un congrès hal-01591036v1
Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes Anicet Bart,Benoit Delahaye,Eric Monfroy,Charlotte Truchet Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France Communication dans un congrès hal-01555755v1
Contraintes sur des flux appliquées a la vérification de programmes audio Anicet Bart,Charlotte Truchet,Eric Monfroy Onzièmes Journées Francophones de Programmation par Contraintes, Jun 2016, Bordeaux, France Communication dans un congrès hal-01234179v1
Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms Alejandro Arbelaez,Charlotte Truchet,Barry O'Sullivan ICTAI'16 - 28th {IEEE} International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, United States. ⟨10.1109/ictai.2016.0105⟩ Communication dans un congrès hal-01980502v1
Verifying a Real-Time Language with Constraints Anicet Bart,Charlotte Truchet,Eric Monfroy 27th IEEE International Conference on Tools with Artificial Intelligence, 2015, Vietri sul Mare, Italy. ⟨10.1109/ICTAI.2015.124⟩ Communication dans un congrès hal-01234188v1
Interactive Design of Sustainable Cities with a Distributed Local Search Solver Bruno Belin,Marc Christie,Charlotte Truchet 11th International Conference on Integration of and Techniques in Constraint Programming - CPAIOR 2014, May 2014, Cork, Ireland. pp.104-119, ⟨10.1007/978-3-319-07046-9_8⟩ Communication dans un congrès hal-01147919v1
When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent Jérémie Du Boisberranger,Danièle Gardy,Xavier Lorca,Charlotte Truchet Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, United States. pp.80-90 Communication dans un congrès hal-00867576v1
Estimating the Runtime of Parallel SAT Local Search (Extended Abstract) Alejandro Arbelaez,Charlotte Truchet,Philippe Codognet Metaheuristics International Conference (MIC 2013), Aug 2013, Singapore, Singapore Communication dans un congrès hal-00850975v1
Un solveur de contraintes basé sur les domaines abstraits Marie Pelleau,Antoine Miné,Charlotte Truchet,Frédéric Benhamou 9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268 Communication dans un congrès hal-00925430v1
Prediction of Parallel Speed-ups for Las Vegas Algorithms Charlotte Truchet,Florian Richoux,Philippe Codognet 42nd International Conference on Parallel Processing, 2013, Lyon, France. pp.160-169, ⟨10.1109/ICPP.2013.25⟩ Communication dans un congrès hal-00870979v1
A Constraint Solver based on Abstract Domains Marie Pelleau,Antoine Miné,Charlotte Truchet,Frédéric Benhamou VMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. pp.434--454, ⟨10.1007/978-3-642-35873-9_26⟩ Communication dans un congrès hal-00785604v1
Interactive Urban Planning with Local Search Techniques: the SUSTAINS Project Bruno Belin,Marc Christie,Charlotte Truchet CompSust'12 - 3rd International Conference on Computational Sustainability, Jul 2012, Copenhagen, Denmark Communication dans un congrès hal-00872981v1
Octagonal Domains for Continuous Constraints Marie Pelleau,Charlotte Truchet,Frédéric Benhamou 17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italy. pp.706--720 Communication dans un congrès hal-00785598v1
Abstract Domains for Constraint Programming, with the Example of Octagons Charlotte Truchet,Marie Pelleau,Frédéric Benhamou 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2010, Timisoara, Romania. pp.72-79, ⟨10.1109/SYNASC.2010.69⟩ Communication dans un congrès hal-01147921v1
Six Ways of Integrating Symmetries within Non-Overlapping Constraints Nicolas Beldiceanu,Mats Carlsson,Mohammed Sbihi,Charlotte Truchet,Stéphane Zampelliet al. 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), 2009, United States. pp.11-25, ⟨10.1007/978-3-642-01929-6_3⟩ Communication dans un congrès hal-00481521v1
Sonet Network Design Problems Marie Pelleau,Pascal van Hentenryck,Charlotte Truchet 6th International Workshop on Local Search Techniques in Constraint Satisfaction, Sep 2009, Lisbon, France. pp.81-95, ⟨10.4204/EPTCS.5.7⟩ Communication dans un congrès hal-00482523v1
A tabu search method for interval constraints Charlotte Truchet,Marc Christie,Jean-Marie Normand Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, May 2008, France. pp.372-376 Communication dans un congrès hal-00482527v1
Un modèle markovien pour GSAT et WalkSAT résultats préliminaires Charlotte Truchet,Damien Noguès,Narendra Jussien JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.327-336 Communication dans un congrès inria-00292691v1
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects Nicolas Beldiceanu,Mats Carlsson,Emmanuel Poder,Rida Sadek,Charlotte Truchet 13th International on Principles and Practice of Constraint Programming (CP'07), 2007, Brown, United States. pp.180-194 Communication dans un congrès hal-00481558v1
Calcul d'approximations intérieures pour la résolution de Max-NCSP Marc Christie,Jean-Marie Normand,Charlotte Truchet Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France Communication dans un congrès inria-00085801v1
OMClouds, petits nuages de contrainte dans OpenMusic Charlotte Truchet,Gérard Assayag,Philippe Codognet Journées d'Informatique Musicale, Jun 2003, Montbéliard, France Communication dans un congrès hal-02994207v1
The Adaptive Search Method for Constraint Solving and its application to musical CSPs Philippe Codognet,Daniel Diaz,Charlotte Truchet International Workshop on Heuristics, 2002, Beijing, China. 9 p Communication dans un congrès hal-00668300v1
Analyse musicale et contraintes Marc Chemillier,Charlotte Truchet,Rousseau Louis-Martin Journées d'Informatique Musicale, May 2002, Marseille, France Communication dans un congrès hal-02992832v1
Recherche adaptative et contraintes musicales Charlotte Truchet,Carlos Agon,Gérard Assayag JFPLC, 2001, NA, France Communication dans un congrès hal-01105724v1
Visual and Adaptive Constraint Programming in Music Charlotte Truchet,Gérard Assayag,Philippe Codognet ICMC 01, 2001, NA, France Communication dans un congrès hal-01105723v1
A Constraint Programming System for Music Composition, Preliminary Results Charlotte Truchet,Carlos Agon,Philippe Codognet CP 01, Workshop on Musical Constraints, 2001, NA, France Communication dans un congrès hal-01105726v1
Two Musical CSPs Marc Chemillier,Charlotte Truchet CP 01 Workshop on Musical Constraints, 2001, NA, France. pp.1-1 Communication dans un congrès hal-01161429v1
CAO et contraintes Charlotte Truchet,Carlos Agon,Gérard Assayag,Philippe Codognet Journées d'Informatique Musicale, 2001, NA, France Communication dans un congrès hal-01105725v1

Ouvrages (2)

Revue d'Intelligence Artificielle Charlotte Truchet Hermès, 28 (5), pp.521-636, 2014 Ouvrages hal-01147922v1
Constraint Programming in Music Charlotte Truchet,Gérard Assayag ISTE-Wiley, pp.256, 2011 Ouvrages hal-00872976v1

Chapitre d'ouvrage (3)

OMClouds, a Library for Musical Constraints Charlotte Truchet Constraint Programming in Music, ISTE-Wiley, pp.189-212, 2011 Chapitre d'ouvrage hal-00872978v1
Constraints for an Unfolding Time Charlotte Truchet,Georges Bloch Constraint Programming in Music, ISTE-Wiley, pp.55-80, 2011 Chapitre d'ouvrage hal-00872977v1
Some Constraint Satisfaction Problems in Computer Assisted Composition Charlotte Truchet epOs Music; Lluis-Puebla Emilio, Mazzola Guerino, Noll Thomas. Perspectives of Mathematical and Computer-Aided Music Theory,, 2003 Chapitre d'ouvrage hal-01105854v1

Autre publication scientifique (2)

Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-01 Nicolas Beldiceanu,Magnus Agren,Mats Carlsson,Mohammed Sbihi,Charlotte Truchetet al. 2009 Autre publication scientifique hal-00481532v1
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08. Nicolas Beldiceanu,Emmanuel Poder,Rida Sadek,Mats Carlsson,Charlotte Truchet 2007 Autre publication scientifique hal-00481565v1

Pré-publication, Document de travail (1)

Reachability in Parametric Interval Markov Chains using Constraints Anicet Bart,Benoit Delahaye,Didier Lime,Eric Monfroy,Charlotte Truchet 2017 Pré-publication, Document de travail hal-01529681v1

Rapport (3)

Linear Time Computation of Variation Degree and Commonalities on Feature Diagrams Mathieu Vavrille,Erwan Meunier,Charlotte Truchet,Charles Prud'Homme RR-2023-01-DAPI, Nantes Université, École Centrale Nantes, IMT Atlantique, CNRS, LS2N, UMR 6004, F-44000 Nantes, France. 2023 Rapport (rapport de recherche) hal-03970237v1
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I) Christian Barillot,Inbar Fijalkow,Isabelle Queinnec,Fabrice Theoleyre,Hélène Touzetet al. [0] CNRS. 2018, pp.1-87 Rapport hal-01956087v1
A Probabilistic Study of Bound Consistency for the Alldifferent Constraint Jérémie Du Boisberranger,Danièle Gardy,Charlotte Truchet,Xavier Lorca 2011 Rapport hal-00588888v1