Charlotte Truchet

62
Documents

Publications

Publications

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-04956688 v1
Image document

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-03776149 v1

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-02945920 v1
Image document

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-02276554 v1
Image document

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-01917092 v1
Image document

An Autonomous Self-Optimizing Flow Reactor for the Synthesis of Natural Product Carpanone

Daniel Cortés-Borda , Eric Wimmer , Boris Gouilleux , Elvina Barré , Nicolas Oger et al.
Journal of Organic Chemistry, 2018, 83 (23), pp.14286-14299. ⟨10.1021/acs.joc.8b01821⟩
Article dans une revue hal-01980485 v1

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-01555777 v1
Image document

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 Zammattio et al.
Organic Process Research and Development, 2016, 20 (11), pp.1979-1987. ⟨10.1021/acs.oprd.6b00310⟩
Article dans une revue hal-02141343 v1
Image document

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-01248168 v1

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-01147912 v1

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-00872982 v1
Image document

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-01161219 v1

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-01105853 v1

É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-04719113 v1
Image document

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-02457083 v1
Image document

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-03179630 v1
Image document

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-02157804 v1

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-02945596 v1
Image document

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-02276566 v1
Image document

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 Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 133-141
Communication dans un congrès hal-02160312 v1

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-01923767 v1
Image document

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-01885769 v1
Image document

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-01735167 v1
Image document

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-01591036 v1

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-01555755 v1
Image document

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-01234179 v1

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-01980502 v1

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-01234188 v1

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-01147919 v1

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-00850975 v1
Image document

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-00925430 v1
Image document

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-00870979 v1
Image document

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-00785604 v1
Image document

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-00867576 v1

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-00872981 v1
Image document

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-00785598 v1

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-01147921 v1

Six Ways of Integrating Symmetries within Non-Overlapping Constraints

Nicolas Beldiceanu , Mats Carlsson , Mohammed Sbihi , Charlotte Truchet , Stéphane Zampelli et 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 istex hal-00481521 v1

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-00482523 v1

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-00482527 v1
Image document

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-00292691 v1

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-00481558 v1
Image document

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-00085801 v1
Image document

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-02994207 v1

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-00668300 v1
Image document

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-02992832 v1

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-01105723 v1
Image document

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-01161429 v1

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-01105726 v1
Image document

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-01105725 v1

Recherche adaptative et contraintes musicales

Charlotte Truchet , Carlos Agon , Gérard Assayag
JFPLC, 2001, NA, France
Communication dans un congrès hal-01105724 v1

OMClouds, a Library for Musical Constraints

Charlotte Truchet
Constraint Programming in Music, ISTE-Wiley, pp.189-212, 2011
Chapitre d'ouvrage hal-00872978 v1

Constraints for an Unfolding Time

Charlotte Truchet , Georges Bloch
Constraint Programming in Music, ISTE-Wiley, pp.55-80, 2011
Chapitre d'ouvrage hal-00872977 v1

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-01105854 v1